chiark / gitweb /
Merge branch 'modernize-pylint' into 'master'
authorTorsten Grote <t+gitlab@grobox.de>
Thu, 25 May 2017 14:00:36 +0000 (14:00 +0000)
committerTorsten Grote <t+gitlab@grobox.de>
Thu, 25 May 2017 14:00:36 +0000 (14:00 +0000)
modernize pylint

See merge request !252


Trivial merge