diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-03-21 23:39:09 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-03-21 23:39:40 +0100 |
| commit | a6b63b96f9a5f07dabbe195b16d00d778d3246ff (patch) | |
| tree | 8ffacc8d1797a77bf1f3c9be13619cf192f7f4f2 /tools | |
| parent | b934a2fd83d63fc115c01f959e888c7bc1aa87e4 (diff) | |
Fail gracefully if `git` does not exist
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions