]> git.openstreetmap.org Git - chef.git/tree - cookbooks/gps-tile/files/
projects / chef.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Use PHP 7.2 for mediawiki on Ubuntu 18.04
[chef.git] / cookbooks / gps-tile / files /
drwxr-xr-x   ..
drwxr-xr-x - default tree | history
Chef configuration management public repo for configuring & maintaining the OpenStreetMap servers.