]> git.openstreetmap.org Git - nominatim.git/tree - cmake/
fix condition under which place_to_be_deleted is created
[nominatim.git] / cmake /
drwxr-xr-x   ..
-rw-r--r-- 662 tool-installed.tmpl
-rwxr-xr-x 671 tool.tmpl