diff options
| author |  Joseph Banks <[email protected]> | 2020-01-24 00:59:48 +0000 |
|---|---|---|
| committer | Joseph Banks <[email protected]> | 2020-01-24 00:59:48 +0000 |
| commit | d794331360ec31c2e26bfb20a9ca6e9edd01dcbd (patch) | |
| tree | 47c67753634ace1c95c9e0e08515ae5731c00d7f /scripts/dev.sh | |
| parent | Fix #56: stdout and stderr outputs in wrong order (diff) | |
Increase time limit from 2 to 5 seconds
Diffstat (limited to 'scripts/dev.sh')
0 files changed, 0 insertions, 0 deletions