[MISC] Minor whitespace cleanup.

This commit is contained in:
Jan Philipp Timme 2013-09-12 15:23:33 +02:00
parent 374c1821f6
commit 285bc5da43
2 changed files with 3 additions and 3 deletions