diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:37:56 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-01-18 21:37:56 +0100 |
| commit | b309d85499175ef3b8dbbc71f7fd57a5d0660f88 (patch) | |
| tree | c67cd0f7d8ceb1b83b182e627b70dea3d0d0e5bd /src/Util.hs | |
| parent | 2a4f1f973f167e396d8cc3ef8a29e16f8fdc5229 (diff) | |
Default timeout command-line parameter
Diffstat (limited to 'src/Util.hs')
0 files changed, 0 insertions, 0 deletions