diff tools/verify-all-heads.sh @ 850:d3bc067c0f72

Cope with non standard schemes in externals
author Will Wykeham <will@wykeham.net>
date Tue, 16 Aug 2011 12:39:42 +0100
parents 11c4c7242a36
children
line wrap: on
line diff