small improvements for Linux #407

Merged

gaisser merged 1 commits from mueller/linux-small-improvements into development 2021-04-20 15:46:34 +02:00

Conversation 0 Commits 1 Files Changed 3 +17 -7

1 Commits

Author	SHA1	Message	Date
Robin Mueller	7b29583f8f	small improvements	2021-04-20 15:32:12 +02:00