diff tools/verify-all-heads.sh @ 694:e32ed1802478

subvertpy: set default username/pwd as with swig Fixes wrong user name being used for pushed commits.
author Peter Arrenbrecht <peter.arrenbrecht@gmail.com>
date Wed, 15 Sep 2010 17:50:30 +0200
parents 11c4c7242a36
children
line wrap: on
line diff