diff options
Diffstat (limited to 'Remote/WebDAV.hs')
| -rw-r--r-- | Remote/WebDAV.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Remote/WebDAV.hs b/Remote/WebDAV.hs index 2c4d24c35..9230a027d 100644 --- a/Remote/WebDAV.hs +++ b/Remote/WebDAV.hs @@ -68,6 +68,11 @@ gen r u c gc = new <$> remoteCost gc expensiveRemoteCost , lockContent = Nothing , checkPresent = checkPresentDummy , checkPresentCheap = False + , storeExport = Nothing + , retrieveExport = Nothing + , removeExport = Nothing + , checkPresentExport = Nothing + , renameExport = Nothing , whereisKey = Nothing , remoteFsck = Nothing , repairRepo = Nothing |