diff tools/verify-all-heads.sh @ 776:f025d00bfc4a

svnexternals: add 'ignore' mode to avoid converting externals
author Patrick Mezard <pmezard@gmail.com>
date Sun, 12 Dec 2010 15:32:25 +0100
parents 11c4c7242a36
children
line wrap: on
line diff