comparison Makefile @ 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 682a8ad26138
children 9796d5437e72
comparison
equal deleted inserted replaced
17207:62c56c94c77e 17208:8018f2340807