deduplicate

[nominatim.git] / lib / init-cmd.php

<?php

        require_once('init.php');
        require_once('cmd.php');