git.iko.soy/Idris-dev
on master help sign in
Add tests test033 and test034 to cabal file
254a452Markus Pfeiffer
idris.cabal+4
compare with master
unifiedsplit
@@ -274,6 +274,10 @@ Extra-source-files:
274 test/test032/*.idr
274 test/test032/*.idr
275 test/test032/input
275 test/test032/input
276 test/test032/expected
276 test/test032/expected
277+ test/test033/*.idr
278+ test/test033/expected
279+ test/test034/*.idr
280+ test/test034/expected
277
281
278source-repository head
282source-repository head
279 type: git
283 type: git