git.iko.soy/Idris-dev
on master help sign in
Remove stale .ibcs
commit755b5b32a28d7baebfab3ddd15c82a3696e23625 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateWed 7 May 2014, 10:54 (12 years ago) parent29cd870
1 file changed+1
compare with master
unifiedsplit
test/reg018/run+1
test/reg018/run+1
@@ -3,3 +3,4 @@ idris $@ reg018a.idr --check
33idris $@ reg018b.idr --check
44idris $@ reg018c.idr --check
55idris $@ reg018d.idr --check
6+rm *.ibc