]> git.openstreetmap.org Git - chef.git/commitdiff
projects / chef.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 685733b a25938b)
Merge pull request #236 from Tigerfell/master
authorGrant <git@firefishy.com>
Mon, 6 May 2019 20:45:37 +0000 (21:45 +0100)
committerGitHub <noreply@github.com>
Mon, 6 May 2019 20:45:37 +0000 (21:45 +0100)
add CodeMirror extension to wiki.osm.org


Trivial merge
Chef configuration management public repo for configuring & maintaining the OpenStreetMap servers.