little fixes

This commit is contained in:
Jonas Weinz 2018-07-16 12:10:35 +02:00
parent 1baeaa865a
commit f14d1ac525

File diff suppressed because one or more lines are too long