]> git.openstreetmap.org Git - nominatim.git/tree - settings/
Merge branch 'master' of github.com:twain47/Nominatim
[nominatim.git] / settings /
drwxr-xr-x   ..
-rw-r--r-- 2921 partitionedtags.def
-rw-r--r-- 864 phrase_settings.php
-rw-r--r-- 1452 settings.php