git.iko.soy/Idris-dev
on master help sign in
Fix error in .cabal
a90726bEdwin Brady
idris.cabal−1
compare with master
unifiedsplit
@@ -275,7 +275,6 @@ Extra-source-files:
275 test/ffi003/*.idr
275 test/ffi003/*.idr
276 test/ffi003/expected
276 test/ffi003/expected
277 test/ffi003/input
277 test/ffi003/input
278− test/ffi003/output
279 test/ffi004/run
278 test/ffi004/run
280 test/ffi004/*.idr
279 test/ffi004/*.idr
281 test/ffi004/input
280 test/ffi004/input