]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
Merge branch 'delete-us-postcode-without-name' of https://github.com/mtmail/Nominatim
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 5694 install-on-centos-7.sh
-rwxr-xr-x 2004 install-on-travis-ci.sh
-rwxr-xr-x 5028 install-on-ubuntu-16.sh