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)
commitfe2d65df73accef655d8c894e249be1c2309fd39
tree255246e53229c679f5cf0b58c1e1bc2292e5857d
parent39d25da3e9418d367eb6b0d1f8a76eacdda94daf
parent9ad457c16fca3de118327ecd1a263552b01c5827
Merge branch 'modernize-pylint' into 'master'

modernize pylint

See merge request !252