diff options
| author | stuebinm | 2022-03-23 02:37:02 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-23 02:37:02 +0100 |
| commit | d15920f72891db83a9b3a96d71a8d31c0f0920a0 (patch) | |
| tree | e7947578bdcbe232376433a2e36b9a68ed47bae9 /server/Server.hs | |
| parent | ac96dea6cb2972cd421b8d1c0fa15a6a47546e8d (diff) | |
lower default maximum lint level to warning
i kept being confused by things happening that really shouldn't 🙈
Diffstat (limited to 'server/Server.hs')
0 files changed, 0 insertions, 0 deletions