diff options
author | 2014-02-07 17:42:34 -0400 | |
---|---|---|
committer | 2014-02-07 17:42:52 -0400 | |
commit | 389bd6f0276976c48a77cba21ec52ff937efc331 (patch) | |
tree | 3620df9a301ef01cb1a8bc21bbf4724974043cbb /Git.hs | |
parent | 17502909d46dec559d26af3cbda8ef830d038fb4 (diff) |
avoid broken version of DAV
Diffstat (limited to 'Git.hs')
0 files changed, 0 insertions, 0 deletions