]> git.openstreetmap.org Git - nominatim.git/tree - lib/admin/
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / lib / admin /
drwxr-xr-x   ..
-rw-r--r-- 5149 check_import_finished.php
-rw-r--r-- 1363 country_languages.php
-rw-r--r-- 8395 export.php
-rw-r--r-- 4219 query.php
-rw-r--r-- 6604 setup.php
-rw-r--r-- 6031 specialphrases.php
-rw-r--r-- 9278 update.php
-rw-r--r-- 3676 warm.php