]> git.openstreetmap.org Git - nominatim.git/blob - lib/init-cmd.php
rename nominatim.admin to nominatim.tools
[nominatim.git] / lib / init-cmd.php
1 <?php
2
3 require_once('init.php');
4 require_once('cmd.php');
5 require_once('DebugNone.php');