on 6a10910 help sign in
Idris-dev/test/scripts
1 file
../ timeoutMove `timeout` from `test/bin/` to `test/scripts/`