From 35b7b1a4066c7871327f915653660345f941ffcc Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Thu, 14 Feb 2013 13:22:56 -0400 Subject: [PATCH] remove unused item This moved to annexDirect in GitConfig. --- Annex.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/Annex.hs b/Annex.hs index f253c48f53..4549696195 100644 --- a/Annex.hs +++ b/Annex.hs @@ -108,7 +108,6 @@ data AnnexState = AnnexState , uuidmap :: Maybe UUIDMap , preferredcontentmap :: Maybe PreferredContentMap , shared :: Maybe SharedRepository - , direct :: Maybe Bool , forcetrust :: TrustMap , trustmap :: Maybe TrustMap , groupmap :: Maybe GroupMap @@ -138,7 +137,6 @@ newState gitrepo = AnnexState , uuidmap = Nothing , preferredcontentmap = Nothing , shared = Nothing - , direct = Nothing , forcetrust = M.empty , trustmap = Nothing , groupmap = Nothing