summaryrefslogtreecommitdiff
path: root/Remote/WebDAV.hs
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2017-09-15 16:34:45 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2017-09-15 16:46:03 -0400
commit15d757049d764410e3d71bbb68640549f86fc543 (patch)
tree8bdff79aa30eb197142899ef82f03cc577f61862 /Remote/WebDAV.hs
parent2d3f18876550ee2e37a60aea1c0faaa369606ae0 (diff)
split out Types.Export
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 ce27dd551..921146ebd 100644
--- a/Remote/WebDAV.hs
+++ b/Remote/WebDAV.hs
@@ -22,6 +22,7 @@ import Control.Monad.Catch
import Annex.Common
import Types.Remote
+import Types.Export
import qualified Git
import Config
import Config.Cost