log tools/verify-all-heads.sh @ 218:a360ddc97719

age author description
Sat, 28 Mar 2009 14:26:35 -0500 Augie Fackler tools: fixes for wc outputting with spaces.