some whitespace cleanup

This commit is contained in:
Diederick C. Niehorster 2017-07-12 22:36:48 +02:00
parent c4294ad590
commit 2dd5aa4aa1
6 changed files with 258 additions and 258 deletions