git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/pkg003
4 files
../ Main.idrAdd test that quoted strings with valid filenames are OK expected.outRename expected, input and run run.shRename expected, input and run test.ipkgMake the pkg tests take the same display options as the other tests.