comparison tools/verify-all-heads.sh @ 556:8522f8ef799e

pushmod: make outdated parent error message more helpful
author Patrick Mezard <pmezard@gmail.com>
date Sun, 07 Feb 2010 15:56:25 +0100
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
555:cbd7065e6ab4 556:8522f8ef799e