diff tools/verify-all-heads.sh @ 419:3ed71e63f64c

imported patch import-cleanup
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Thu, 11 Jun 2009 18:57:55 +0200
parents 11c4c7242a36
children
line wrap: on
line diff