fix build w/o webdav

This commit is contained in:
Joey Hess 2013-10-13 14:19:58 -04:00
parent fc253e2199
commit 7061bfb545

View file

@ -18,7 +18,6 @@ import qualified Remote
import Types.Remote (RemoteConfig) import Types.Remote (RemoteConfig)
import Types.StandardGroups import Types.StandardGroups
import Logs.Remote import Logs.Remote
import Assistant.Gpg
import Assistant.WebApp.Utility import Assistant.WebApp.Utility
import Git.Remote import Git.Remote
@ -26,6 +25,7 @@ import qualified Data.Map as M
#endif #endif
import qualified Data.Text as T import qualified Data.Text as T
import Network.URI import Network.URI
import Assistant.Gpg
webDAVConfigurator :: Widget -> Handler Html webDAVConfigurator :: Widget -> Handler Html
webDAVConfigurator = page "Add a WebDAV repository" (Just Configuration) webDAVConfigurator = page "Add a WebDAV repository" (Just Configuration)