Minor dev updates #75

Merged
gergely merged 1 commits from dev-updates into master 2018-07-12 10:17:08 +02:00

1 Commits

Author SHA1 Message Date
5550e5ecf3 Make PyLint happy again 2018-07-12 10:16:04 +02:00