Various small improvements

This commit is contained in:
Daniel Rudolf 2017-05-01 15:12:13 +02:00
parent 17b90f5435
commit 3bc28e2a87
No known key found for this signature in database
GPG Key ID: A061F02CD8DE4538

Diff Content Not Available