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