]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2135 from lonvia/python-frontend
authorSarah Hoffmann <lonvia@denofr.de>
Fri, 15 Jan 2021 07:56:07 +0000 (08:56 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Jan 2021 07:56:07 +0000 (08:56 +0100)
Introduce new 'nominatim' all-in-one command-line tool


Trivial merge