]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
Merge pull request #1720 from lonvia/better-linking-of-places
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 7186 Install-on-Centos-7.sh
-rwxr-xr-x 7032 Install-on-Centos-8.sh
-rwxr-xr-x 5804 Install-on-Ubuntu-16.sh
-rwxr-xr-x 3395 Install-on-Ubuntu-18-nginx.sh
-rwxr-xr-x 5711 Install-on-Ubuntu-18.sh
-rwxr-xr-x 2242 install-on-travis-ci.sh