]> git.openstreetmap.org Git - nominatim.git/blob - settings/settings.php
Merge pull request #1115 from mtmail/php-linting-for-all-not-just-tests
[nominatim.git] / settings / settings.php
1 <?php
2
3 echo "ERROR: Scripts must be run from build directory.\n";
4 exit;