diff tools/verify-all-heads.sh @ 220:06eb60f9a026

push: Do not attempt to push empty revisions.
author Augie Fackler <durin42@gmail.com>
date Sat, 28 Mar 2009 17:50:00 -0500
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff