summaryrefslogtreecommitdiff
path: root/Remote/WebDAV.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Remote/WebDAV.hs')
-rw-r--r--Remote/WebDAV.hs1
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
}