]> git.openstreetmap.org Git - nominatim.git/tree - nominatim/
remove removed index from database check
[nominatim.git] / nominatim /
drwxr-xr-x   ..
drwxr-xr-x - indexer
-rwxr-xr-x 9522 nominatim.py