diff options
| author | stuebinm | 2022-11-23 01:25:59 +0100 |
|---|---|---|
| committer | stuebinm | 2022-11-23 14:40:31 +0100 |
| commit | f66e6dc0f73032cc4537963822ac9283a24ca487 (patch) | |
| tree | a8709c22b309fc3b808efc10fb9168682ba7c552 /lib/Server/Util.hs | |
| parent | d52102e1a190aa5d44e8ea908bd9b452ee273714 (diff) | |
use the threaded rts
(apparently i didn't do that yet???)
Diffstat (limited to 'lib/Server/Util.hs')
0 files changed, 0 insertions, 0 deletions