diff tools/verify-all-heads.sh @ 929:8417be758047

pushmod: keep the root svn dir when emptying the hg repo (issue359)
author Patrick Mezard <patrick@mezard.eu>
date Sun, 09 Sep 2012 16:12:28 +0200
parents 11c4c7242a36
children
line wrap: on
line diff