diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-01-13 14:41:10 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-01-13 14:41:10 -0400 |
| commit | fa7934c035ff09b46d646353683c6d9745f0c94d (patch) | |
| tree | ccdbbe618762679e9bc2932e8d92bbee86067fd9 /Remote/WebDAV.hs | |
| parent | 2d9784fae4ea1830865bc77de1a1c4c1b4ce3714 (diff) | |
add GETAVAILABILITY to external special remote protocol
And some reworking of types, and added an annex-availability git config
setting.
Diffstat (limited to 'Remote/WebDAV.hs')
| -rw-r--r-- | Remote/WebDAV.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index acee624ae..7243e359d 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -72,7 +72,7 @@ gen r u c gc = new <$> remoteCost gc expensiveRemoteCost gitconfig = gc, localpath = Nothing, readonly = False, - globallyAvailable = True, + availability = GloballyAvailable, remotetype = remote } |