minor changes

This commit is contained in:
Philipp Holzer 2018-06-26 23:44:30 +02:00
parent d409a92ca2
commit acf6a5cb9e
No known key found for this signature in database
GPG Key ID: 58160D7D6AF942B6
3 changed files with 3 additions and 3 deletions