diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-20 21:13:11 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-07-20 21:13:11 +0200 |
| commit | 1abd855b5fb7cbcac2e77efec4a392d6d940a91f (patch) | |
| tree | c3040ee6f59ae6ef7b6d3aae8a5bea746a731dae /src/Erebos/Util.hs | |
| parent | f626ae18bddc6b5d2ba2fab4984e2219968e197b (diff) | |
Network: refactor startServer with RecordWildCards
Diffstat (limited to 'src/Erebos/Util.hs')
0 files changed, 0 insertions, 0 deletions