git.iko.soy/Idris-dev
on master help sign in
Add missing tests to Cabal file
037b4a4David Raymond Christiansen
idris.cabal+6
compare with master
unifiedsplit
@@ -303,6 +303,12 @@ Extra-source-files:
303 test/test035/run
303 test/test035/run
304 test/test035/expected
304 test/test035/expected
305 test/test035/*.idr
305 test/test035/*.idr
306+ test/test036/run
307+ test/test036/expected
308+ test/test036/*.idr
309+ test/test037/run
310+ test/test037/expected
311+ test/test037/*.idr
306
312
307source-repository head
313source-repository head
308 type: git
314 type: git