diff tools/verify-all-heads.sh @ 726:8d36054b04ed

keep variables more local, add some whitespace
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 06 Oct 2010 15:18:05 +0200
parents 11c4c7242a36
children
line wrap: on
line diff