remove unused item
This moved to annexDirect in GitConfig.
This commit is contained in:
parent
6e0f8c343b
commit
35b7b1a406
1 changed files with 0 additions and 2 deletions
2
Annex.hs
2
Annex.hs
|
@ -108,7 +108,6 @@ data AnnexState = AnnexState
|
||||||
, uuidmap :: Maybe UUIDMap
|
, uuidmap :: Maybe UUIDMap
|
||||||
, preferredcontentmap :: Maybe PreferredContentMap
|
, preferredcontentmap :: Maybe PreferredContentMap
|
||||||
, shared :: Maybe SharedRepository
|
, shared :: Maybe SharedRepository
|
||||||
, direct :: Maybe Bool
|
|
||||||
, forcetrust :: TrustMap
|
, forcetrust :: TrustMap
|
||||||
, trustmap :: Maybe TrustMap
|
, trustmap :: Maybe TrustMap
|
||||||
, groupmap :: Maybe GroupMap
|
, groupmap :: Maybe GroupMap
|
||||||
|
@ -138,7 +137,6 @@ newState gitrepo = AnnexState
|
||||||
, uuidmap = Nothing
|
, uuidmap = Nothing
|
||||||
, preferredcontentmap = Nothing
|
, preferredcontentmap = Nothing
|
||||||
, shared = Nothing
|
, shared = Nothing
|
||||||
, direct = Nothing
|
|
||||||
, forcetrust = M.empty
|
, forcetrust = M.empty
|
||||||
, trustmap = Nothing
|
, trustmap = Nothing
|
||||||
, groupmap = Nothing
|
, groupmap = Nothing
|
||||||
|
|
Loading…
Reference in a new issue