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 /nix | |
parent | ab67f068967f7e460f4350384cbe8e47325c0598 (diff) |
server: decrease default lint interval
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions