]> git.openstreetmap.org Git - nominatim.git/tree - settings/
Merge branch 'updatePHP' of https://github.com/ThomasBarris/Nominatim into ThomasBarr...
[nominatim.git] / settings /
drwxr-xr-x   ..
-rw-r--r-- 5554 defaults.php
-rw-r--r-- 531 phrase_settings.php
-rw-r--r-- 72 settings.php