]> git.openstreetmap.org Git - nominatim.git/tree - settings/
ensure that ordering by importance is stable
[nominatim.git] / settings /
drwxr-xr-x   ..
-rw-r--r-- 2906 address-levels.json
-rw-r--r-- 5575 defaults.php
-rw-r--r-- 2852 import-address.style
-rw-r--r-- 1654 import-admin.style
-rw-r--r-- 5149 import-extratags.style
-rw-r--r-- 5741 import-full.style
-rw-r--r-- 2281 import-street.style
-rw-r--r-- 531 phrase_settings.php