Remove tile role from idris
authorTom Hughes <tom@compton.nu>
Thu, 20 Jun 2013 09:27:33 +0000 (10:27 +0100)
committerTom Hughes <tom@compton.nu>
Thu, 20 Jun 2013 09:27:33 +0000 (10:27 +0100)
commit4633f48199d02e6d73b2425c015af5aea210a3bc
tree425bce32b384deb2e1c8fd8e062b7089f1642e26
parenta0cc3b39962e5921f7a79ea35e2591e163148714
Remove tile role from idris
roles/idris.rb