diff options
author | 2014-03-05 13:43:56 -0400 | |
---|---|---|
committer | 2014-03-05 13:43:56 -0400 | |
commit | a82b564462580b46b781df38ff1015685617675a (patch) | |
tree | 4ad12859a0a7ce3576b66de2e2bbfe5b3aae5bee /Remote/WebDAV.hs | |
parent | 478c949dee7a872934fa1e2f99e610978a3eab28 (diff) |
webapp: detect on first run if git is not installed, and tell the user, rather than crashing non-informatively
Mostly for Windows, which has no sane package management..
Diffstat (limited to 'Remote/WebDAV.hs')
0 files changed, 0 insertions, 0 deletions