summaryrefslogtreecommitdiff
path: root/lib/KindLinter.hs
diff options
context:
space:
mode:
authorstuebinm2022-02-12 17:14:24 +0100
committerstuebinm2022-02-12 17:14:24 +0100
commit6f604d3b0f63d7ceafc95e3a2726c79bb30d51d5 (patch)
treefa4b195e1f2e5fd770d6e1c28afe6cb615afa643 /lib/KindLinter.hs
parent73f374daa24c52292069fb1a9b178fa98173042e (diff)
don't fail compilation if git is unavailable
(instead, `walint --version` will now just say "unknown")
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions