]> git.openstreetmap.org Git - nominatim.git/tree - vagrant/
remove now unnecessary type-ignores
[nominatim.git] / vagrant /
drwxr-xr-x   ..
-rwxr-xr-x 9422 Install-on-Ubuntu-22.sh
-rwxr-xr-x 9023 Install-on-Ubuntu-24.sh