diff tools/verify-all-heads.sh @ 775:7597ea43a37e

Document subrepository externals
author Patrick Mezard <pmezard@gmail.com>
date Sun, 12 Dec 2010 15:14:07 +0100
parents 11c4c7242a36
children
line wrap: on
line diff