]> git.openstreetmap.org Git - chef.git/commit
Add the serverinfo recipe to idris
authorTom Hughes <tom@compton.nu>
Thu, 6 Oct 2022 19:33:08 +0000 (20:33 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 6 Oct 2022 19:33:08 +0000 (20:33 +0100)
commitd02dee2ff2db283c88639286c9f0cc195553c862
treeaca1ae382971a72ae0dec5999f0d756e6bb8e95c
parente6306b8ef9a45d1b41ab38ea3969d7cb25070ca2
Add the serverinfo recipe to idris
roles/idris.rb