diff tools/verify-all-heads.sh @ 466:9548b406a2d8

pushmod: pass SubversionRepo directly to commit()
author Patrick Mezard <pmezard@gmail.com>
date Sat, 18 Jul 2009 20:44:33 -0500
parents 11c4c7242a36
children
line wrap: on
line diff