]> git.openstreetmap.org Git - nominatim.git/tree - cmake/
enable PHP 7.2 for Ubuntu 18 CI
[nominatim.git] / cmake /
drwxr-xr-x   ..
-rw-r--r-- 592 tool-installed.tmpl
-rwxr-xr-x 601 tool.tmpl