diff options
author | stuebinm | 2022-02-12 17:14:24 +0100 |
---|---|---|
committer | stuebinm | 2022-02-12 17:14:24 +0100 |
commit | 6f604d3b0f63d7ceafc95e3a2726c79bb30d51d5 (patch) | |
tree | fa4b195e1f2e5fd770d6e1c28afe6cb615afa643 /server/HtmlOrphans.hs | |
parent | 73f374daa24c52292069fb1a9b178fa98173042e (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