dead: A command which says that a repository is gone for good and you don't want git-annex to mention it again.

This commit is contained in:
Joey Hess 2011-12-02 16:59:55 -04:00
parent 7b08584c55
commit 251c01d51e
8 changed files with 40 additions and 15 deletions

View file

@ -14,7 +14,7 @@ import qualified Data.Map as M
import Types.UUID
data TrustLevel = SemiTrusted | UnTrusted | Trusted
data TrustLevel = Trusted | SemiTrusted | UnTrusted | DeadTrusted
deriving Eq
type TrustMap = M.Map UUID TrustLevel