diff options
author | stuebinm | 2022-10-11 14:09:36 +0200 |
---|---|---|
committer | stuebinm | 2022-10-11 14:09:36 +0200 |
commit | b46a545bc4bd48e089338f52a812c401fe2aff0d (patch) | |
tree | f66399ad533ac5995395c65ae799e5dd35c24cbd /server/Server.hs | |
parent | 8f23174ee2079e57c336b1ae84837689fd781214 (diff) |
remove mentions of divoc
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions