diff hgext/record.py @ 17208:8018f2340807

obsolete: mark unreachable extinct changesets as hidden The repo.hiddenrevs set is updated with all extinct() changesets which aren't descendants of either: - the current working copy, - a bookmark, - a tag.
author Pierre-Yves.David@ens-lyon.org
date Mon, 16 Jul 2012 17:56:50 +0200
parents f7a2849ef8cd
children e7cfe3587ea4
line wrap: on
line diff