Small formatting change

This commit is contained in:
Vanya Yaneva 2017-07-27 17:39:13 +01:00
parent 8c4af581d1
commit 9916a81bc5