diff options
| author | stuebinm | 2022-03-06 15:05:45 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:57:18 +0100 |
| commit | 52d0d9df734cd6eaace2c8d062ef8c5b67830356 (patch) | |
| tree | 4ee35d6f765a49ca24f4601ee5b4d10f2c5fcb46 /lib/CheckMap.hs | |
| parent | ab67f068967f7e460f4350384cbe8e47325c0598 (diff) | |
server: decrease default lint interval
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions