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