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

1 Commits

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