diff tools/verify-all-heads.sh @ 340:88ba55ad58c0

Minor tweaks to wrapper documentation.
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Tue, 19 May 2009 11:43:49 +0200
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff