fix some whitespace and indentation (#194)

This commit is contained in:
jeg139
2019-11-23 12:07:19 +01:00
committed by Nikolaus Rath
parent 4d866526dc
commit eade8feb05