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