]> git.openstreetmap.org Git - chef.git/commit
Add chef and git roles to idris
authorTom Hughes <tom@compton.nu>
Sun, 9 Oct 2022 11:26:44 +0000 (12:26 +0100)
committerTom Hughes <tom@compton.nu>
Sun, 9 Oct 2022 11:26:44 +0000 (12:26 +0100)
commitdab73ee6c27617e59aa8d144a3f1b9e8a22dce62
tree3341fbc8c9c5c25a19a68c27bc73c63b2e3ee7d3
parentfe35ced7aa3bbd7fa83b0384dce16e90e0097337
Add chef and git roles to idris
roles/idris.rb