Commit 99558b01 authored Jan 21, 2019 by Andreas Klöckner

Merge branch 'pylint' into 'master'

Run pylint in CI

See merge request inducer/pytools!17