log tools/verify-all-heads.sh @ 318:0291afdd7555

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