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