minor whitespace cleanup

This commit is contained in:
Arvid Norberg 2015-05-17 18:59:35 +00:00
parent 9597dcda87
commit be60dfc0a9
2 changed files with 8 additions and 8 deletions