diff tools/verify-all-heads.sh @ 640:a3d20d6e96b0

stupid: handle branch mapping.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Tue, 13 Jul 2010 13:18:11 +0200
parents 11c4c7242a36
children
line wrap: on
line diff