diff tools/verify-all-heads.sh @ 740:c8c438b010aa

help topic: numerous cleanups. Many of these are thanks to timeless' review!
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Thu, 04 Nov 2010 18:24:18 +0100
parents 11c4c7242a36
children
line wrap: on
line diff