diff tools/common.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 5071b8511572
children
line wrap: on
line diff