summaryrefslogtreecommitdiff
path: root/cwality-maps/Main.hs
diff options
context:
space:
mode:
authorstuebinm2022-03-06 15:05:45 +0100
committerstuebinm2022-03-06 15:05:45 +0100
commit36b2a9aed1d0961dd176a8ef4497824a06012239 (patch)
tree1e0e85fc8ca068423ddf47fedd88cf749c954263 /cwality-maps/Main.hs
parent80d6cadca15fdebb830e8b6006e38890ad0acbd9 (diff)
server: decrease default lint interval
Diffstat (limited to 'cwality-maps/Main.hs')
0 files changed, 0 insertions, 0 deletions