minor re-formatting

This commit is contained in:
Manuel Friedli 2014-12-05 22:25:14 +01:00
parent 6690ea4978
commit 80864851eb