deduplicate words: do not look for duplicates in empty partitions

[nominatim.git] / settings / settings.php

<?php

echo "ERROR: Scripts must be run from build directory.\n";
exit;