diff options
author | 2011-12-02 16:59:55 -0400 | |
---|---|---|
committer | 2011-12-02 16:59:55 -0400 | |
commit | 251c01d51e22dc295359ba1f85144afc4c178e7a (patch) | |
tree | f8b19d157e09349194ffe40591250a72c16c8f30 /GitAnnex.hs | |
parent | 7b08584c5553c22b322a2d9c268fda855666f4ce (diff) |
dead: A command which says that a repository is gone for good and you don't want git-annex to mention it again.
Diffstat (limited to 'GitAnnex.hs')
-rw-r--r-- | GitAnnex.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/GitAnnex.hs b/GitAnnex.hs index 42a6b7fd7..d768499dd 100644 --- a/GitAnnex.hs +++ b/GitAnnex.hs @@ -46,6 +46,7 @@ import qualified Command.Uninit import qualified Command.Trust import qualified Command.Untrust import qualified Command.Semitrust +import qualified Command.Dead import qualified Command.AddUrl import qualified Command.Map import qualified Command.Upgrade @@ -70,6 +71,7 @@ cmds = concat , Command.Trust.def , Command.Untrust.def , Command.Semitrust.def + , Command.Dead.def , Command.AddUrl.def , Command.FromKey.def , Command.DropKey.def |