log tools/verify-all-heads.sh @ 284:f8f9a2993705

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