There are no .idr files in test034
commitabf234df5450c629bb0e9f930a153d663fe6bb7e
authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
dateWed 20 Nov 2013, 00:39 (13 years ago)
parent254a452
idris.cabal−1
@@ -276,7 +276,6 @@ Extra-source-files:
276276 test/test032/expected
277277 test/test033/*.idr
278278 test/test033/expected
279− test/test034/*.idr
280279 test/test034/expected
281280
282281source-repository head