]> git.openstreetmap.org Git - nominatim.git/commitdiff
projects / nominatim.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 644a7f5 daf45a2)
Merge pull request #1780 from Simon-Will/1768-vagrant-installation-for-ubuntu-20
authorSarah Hoffmann <lonvia@denofr.de>
Thu, 7 May 2020 18:46:44 +0000 (20:46 +0200)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 18:46:44 +0000 (20:46 +0200)
Add vagrant machine for Ubuntu 20.04


Trivial merge
Open Source search based on OpenStreetMap data