Cosmetic cleanups #95

Merged

fsmanuel merged 1 commits from cosmetics into master 2019-04-12 18:56:00 +00:00

Conversation 1 Commits 1 Files Changed 12 +21 -19

1 Commits

Author	SHA1	Message	Date
Manuel Wiedenmann	1dbf3b5742	Cosmetic cleanups	2019-04-12 20:16:24 +02:00