little fixes

This commit is contained in:
Jonas Weinz 2018-07-16 12:11:39 +02:00
parent f14d1ac525
commit 1dc968a98a

File diff suppressed because one or more lines are too long