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