diff options
author | stuebinm | 2022-02-12 17:14:24 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:32 +0100 |
commit | 4017daeae6e22067f687e7e0edb072e5f7808627 (patch) | |
tree | fbe2cba2931736421ceb919b5a64e2639932de17 /lib | |
parent | be1089008a941da8afe23ca36f8209e0a08f58d4 (diff) |
don't fail compilation if git is unavailable
(instead, `walint --version` will now just say "unknown")
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions