diff tools/verify-all-heads.sh @ 345:49a656155a92

remove pointless rstrip('/')
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Wed, 20 May 2009 21:11:34 +0200
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff