diff options
| author | tv <tv@krebsco.de> | 2019-04-23 13:09:37 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2019-04-23 13:14:14 +0200 |
| commit | cebaefa37095e74ad2253c4e2f9d9ab390f88737 (patch) | |
| tree | b079afb26fd7322c952ee88a73bd3db20e6eedf9 /src/Control/Concurrent/Extended.hs | |
| parent | 9d688b6ffad14912bd1afe42555747cb3d213d95 (diff) | |
Main.app: make timeout configurablev1.2.0
Because sometimes 100ms just aren't enough... ^_^
Diffstat (limited to 'src/Control/Concurrent/Extended.hs')
0 files changed, 0 insertions, 0 deletions