]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fbe7be7 286a686)
Merge pull request #2171 from lonvia/update-vagrant-scripts-for-make-install
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 16 Feb 2021 13:42:38 +0000 (14:42 +0100)
committerGitHub <noreply@github.com>
Tue, 16 Feb 2021 13:42:38 +0000 (14:42 +0100)
Update vagrant scripts for make install


Trivial merge
Open Source search based on OpenStreetMap data