diff options
| author | stuebinm | 2022-03-20 20:07:58 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-20 20:17:34 +0100 |
| commit | 586c7ef5712724e6b9dbdf9a89bad2f694aa7545 (patch) | |
| tree | 4a6a5128f4e1c14cbfea500552dfd5f54a356ee9 /server/Main.hs | |
| parent | 744e19db1eeed2dfe523bc4db81968852e84f397 (diff) | |
divoc: server output should follow styleguide
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions