git.iko.soy/Idris-dev
on master help sign in
There are no .idr files in test034
abf234dMarkus Pfeiffer
idris.cabal−1
compare with master
unifiedsplit
@@ -276,7 +276,6 @@ Extra-source-files:
276 test/test032/expected
276 test/test032/expected
277 test/test033/*.idr
277 test/test033/*.idr
278 test/test033/expected
278 test/test033/expected
279− test/test034/*.idr
280 test/test034/expected
279 test/test034/expected
281
280
282source-repository head
281source-repository head