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