diff tools/common.sh @ 816:86d124a8768e

Fix hg.clone() calls changed by d976542986d2
author Patrick Mezard <pmezard@gmail.com>
date Wed, 15 Jun 2011 14:44:14 +0200
parents 5071b8511572
children
line wrap: on
line diff