diff tools/verify-all-heads.sh @ 898:6524260be543

show a total for verification progress
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Sun, 13 May 2012 15:36:45 +0200
parents 11c4c7242a36
children
line wrap: on
line diff