formatting: whitespace cleanup

This commit is contained in:
Marius Bergmann 2019-11-15 21:44:23 +01:00 committed by Florian Festi
parent c67d1f874c
commit 90fdf897a9
1 changed files with 4 additions and 4 deletions