summaryrefslogtreecommitdiff
path: root/lib/LintWriter.hs
diff options
context:
space:
mode:
authorstuebinm2021-10-30 15:38:59 +0200
committerstuebinm2021-10-30 15:44:26 +0200
commit3f5096f3494050e3882ab7c618f358b67d300889 (patch)
tree5ec36776442a1a8618b3e757b6fa888eb7d3ab9c /lib/LintWriter.hs
parent1d2733c2b960e4ec61981a2cf2aadb77004b429d (diff)
better lint messages
Diffstat (limited to 'lib/LintWriter.hs')
0 files changed, 0 insertions, 0 deletions