diff options
author | Joey Hess <joey@kitenet.net> | 2013-03-15 19:16:13 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-03-15 19:16:13 -0400 |
commit | eabe9d8c6177318432eb81120f4d5db05898c891 (patch) | |
tree | 6fedada070d79a4afec236a63ead893bc41b04e9 /Remote/WebDAV.hs | |
parent | 34c604b935e6e3e40796c9132ed19d44442cb809 (diff) |
add globallyAvailable to remotes
Diffstat (limited to 'Remote/WebDAV.hs')
-rw-r--r-- | Remote/WebDAV.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index a06a4eb11..3b729fe83 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -69,6 +69,7 @@ gen r u c gc = new <$> remoteCost gc expensiveRemoteCost gitconfig = gc, localpath = Nothing, readonly = False, + globallyAvailable = True, remotetype = remote } |