log tools/verify-all-heads.sh @ 1114:080afbcbe28b

age author description
Tue, 09 Jun 2009 19:48:13 +0200 Dirkjan Ochtman tools: use new svn verify command instead of svn export incantations
Mon, 01 Jun 2009 11:10:32 -0500 Augie Fackler tools: Fixes for verification that seemed to be needed.