Commit a103097f authored Feb 01, 2019 by Andreas Klöckner

Merge branch 'pylint' into 'master'

Pylint

See merge request !76