Fix Curses craziness in test + missing test file
commit5088572bd8f194ad948d80fdc579017a10957dd7
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 3 Jan 2015, 20:05 (12 years ago)
parent8fe8bb9
idris.cabal+1
@@ -424,6 +424,7 @@ Extra-source-files:
424424 test/idrisdoc008/*.ipkg
425425 test/idrisdoc009/run
426426 test/idrisdoc009/expected
427+ test/idrisdoc009/input
427428 test/idrisdoc009/*.idr
428429
429430
test/idrisdoc009/input+1
@@ -1 +1,2 @@
1+:consolewidth infinite
12:doc Test