]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #1258 from lonvia/cleanup-utils
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 4 Dec 2018 21:00:31 +0000 (22:00 +0100)
committerGitHub <noreply@github.com>
Tue, 4 Dec 2018 21:00:31 +0000 (22:00 +0100)
Restructure script and website installation


Trivial merge