diff tools/common.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 5071b8511572
children
line wrap: on
line diff