git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/test/pkg003
4 files
../ Main.idrAdd test that quoted strings with valid filenames are OK expectedMake the pkg tests take the same display options as the other tests. runtest/pkg003: Remove generated executable test.ipkgMake the pkg tests take the same display options as the other tests.