]> git.openstreetmap.org Git - nominatim.git/commitdiff
Fix script names in README (#1805)
authorFrederik Ramm <frederik@remote.org>
Mon, 25 May 2020 10:45:35 +0000 (12:45 +0200)
committerGitHub <noreply@github.com>
Mon, 25 May 2020 10:45:35 +0000 (12:45 +0200)

No differences found