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 /server/Server.hs | |
| parent | be1089008a941da8afe23ca36f8209e0a08f58d4 (diff) | |
don't fail compilation if git is unavailable
(instead, `walint --version` will now just say "unknown")
Diffstat (limited to 'server/Server.hs')
0 files changed, 0 insertions, 0 deletions