diff push_cmd.py @ 164:2a4b7a86af93

Remove unneeded call to list.
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