diff options
| author | stuebinm | 2022-07-11 23:35:17 +0200 |
|---|---|---|
| committer | stuebinm | 2022-07-11 23:35:17 +0200 |
| commit | 63e539af7ea10fd6b203a2eaa7f54fca09354d57 (patch) | |
| tree | 2305f9c456b6707f76d581de3eedafdd9b41199e /lib/Server/Util.hs | |
| parent | 498ae348d120f156c65a89c87d9852393b23e2f4 (diff) | |
add an explanatory glossary
(also a reminder to me to stay at least somewhat consistent with names)
Diffstat (limited to 'lib/Server/Util.hs')
0 files changed, 0 insertions, 0 deletions