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