diff tools/verify-all-heads.sh @ 702:841399d10c79

verify: fix verifying mapped branches.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Tue, 07 Sep 2010 14:33:56 +0200
parents 11c4c7242a36
children
line wrap: on
line diff