correcting some formatting glitches

This commit is contained in:
Zrubi 2016-09-10 10:22:35 +02:00
parent 6f9f3d1e76
commit 6603a347fe