]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
projects / nominatim.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Merge branch 'tigerlines' of /home/markus/Nominatim into tiger
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rw-r--r-- 3343 centos-7-provision.sh blob | history | raw
-rwxr-xr-x 4830 ubuntu-trusty-php7-provision.sh blob | history | raw
-rwxr-xr-x 4496 ubuntu-trusty-provision.sh blob | history | raw
Open Source search based on OpenStreetMap data