diff tools/verify-all-heads.sh @ 398:f13dd964d10c

tags: obey usebranchnames setting
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 10 Jun 2009 09:30:32 +0200
parents 11c4c7242a36
children
line wrap: on
line diff