]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
CI: always use the latest version of pylint
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 8080 Install-on-Centos-8.sh
-rwxr-xr-x 8431 Install-on-Ubuntu-18.sh
-rwxr-xr-x 8481 Install-on-Ubuntu-20.sh