diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-02-14 13:22:56 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-02-14 13:22:56 -0400 |
| commit | 4e2d50d2e4c9b4d3487c24042b733d02c2f4dd46 (patch) | |
| tree | f9325c494358e71b476ba7e56b6f5068af1f9be3 | |
| parent | f7130bdb787b96c6f092f8aaf753c585ddd46cd5 (diff) | |
remove unused item
This moved to annexDirect in GitConfig.
| -rw-r--r-- | Annex.hs | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -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 |