git.iko.soy/Idris-dev
on 73da7d4 help sign in
Idris-dev/test/docs001
4 files
../ docs001.idrinstance docs: rename testcase expectedset console width / adjust tests by using --consolewidth to make them work with the curses flag inputinstance docs: rename testcase runset console width / adjust tests by using --consolewidth to make them work with the curses flag