diff tools/verify-all-heads.sh @ 237:c90cfa665b81

Cope with date-less revisions.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 08 Apr 2009 13:07:23 +0200
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff