git-annex/Annex/Branch
2014-03-26 13:28:26 -04:00
..
Transitions.hs forget --drop-dead: Avoid removing the dead remote from the trust.log, so that if git remotes for it still exist anywhere, git annex info will still know it's dead and not show it. 2014-03-26 13:28:26 -04:00