minor style update

This commit is contained in:
tibbi 2020-04-28 23:52:21 +02:00
parent b0c5624e0e
commit 96ec75e545
2 changed files with 16 additions and 16 deletions