]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2136 from lonvia/introduce-pylint
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 15 Jan 2021 13:39:26 +0000 (14:39 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Jan 2021 13:39:26 +0000 (14:39 +0100)
Introduce pylint for code style checking for Python.


Trivial merge