diff push_cmd.py @ 166:db88e528e8e6

Fixed typo: "continue" should have been "break".
author Martin Geisler <mg@daimi.au.dk>
date Tue, 30 Dec 2008 19:24:16 -0600
parents fdc249cd1a0a
children b77a4caaf77b
line wrap: on
line diff