comparison 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
comparison
equal deleted inserted replaced
691:a45365f1492a 692:42879fddf727