diff tools/verify-all-heads.sh @ 327:98740f66a70c

Remove leftover debug info.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sat, 09 May 2009 12:26:59 +0200
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff