]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 6614 Install-on-Centos-7.sh
-rwxr-xr-x 6450 Install-on-Centos-8.sh
-rwxr-xr-x 2008 Install-on-Travis-CI.sh
-rwxr-xr-x 7394 Install-on-Ubuntu-18.sh
-rw-r--r-- 7519 Install-on-Ubuntu-20.sh