diff options
author | Joey Hess <joey@kitenet.net> | 2011-12-02 16:59:55 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2011-12-02 16:59:55 -0400 |
commit | 251c01d51e22dc295359ba1f85144afc4c178e7a (patch) | |
tree | f8b19d157e09349194ffe40591250a72c16c8f30 /Messages.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 'Messages.hs')
0 files changed, 0 insertions, 0 deletions