diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-24 18:21:51 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-24 18:21:51 -0400 |
| commit | 1587a10c8a2ce9a573fcf1c286649404f365506b (patch) | |
| tree | 38a7e2e109fc3190159dee5f96113a25acbcd7b5 /Git/Repair.hs | |
| parent | 2d10b1755fb8b12f0e793b56f64af57a368fb3a7 (diff) | |
webdav: When built with DAV 0.6.0, use the new DAV monad to avoid locking files, which is not needed by git-annex's use of webdav, and does not work on Box.com.
Diffstat (limited to 'Git/Repair.hs')
0 files changed, 0 insertions, 0 deletions