diff tools/verify-all-heads.sh @ 692:42879fddf727

push: simplify code for remapping rebased node ids
author Peter Arrenbrecht <peter.arrenbrecht@gmail.com>
date Fri, 10 Sep 2010 07:50:40 +0200
parents 11c4c7242a36
children
line wrap: on
line diff