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 /lib/Properties.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