Drop idris role
authorTom Hughes <tom@compton.nu>
Thu, 8 Dec 2016 10:41:49 +0000 (10:41 +0000)
committerTom Hughes <tom@compton.nu>
Thu, 8 Dec 2016 10:41:49 +0000 (10:41 +0000)
commit9ed7006bdad8ba036017b19025b3710f3f4c6716
tree815c0d028194189d4f48222768d9088d02c7a839
parent6e5a4e18ea215f535f3b70701b515e0a4b5cd846
Drop idris role
roles/idris.rb [deleted file]