]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
Merge branch 'updatePHP' of https://github.com/ThomasBarris/Nominatim into ThomasBarr...
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 6235 Install-on-Centos-7.sh
-rwxr-xr-x 5631 Install-on-Ubuntu-16.sh
-rwxr-xr-x 5658 Install-on-Ubuntu-18.sh
-rwxr-xr-x 2915 install-on-travis-ci.sh