diff push_cmd.py @ 20:2953c867ca99

Minor fixes to the push command to make it more robust.
author Augie Fackler <durin42@gmail.com>
date Wed, 08 Oct 2008 16:44:40 -0500
parents c5039390332f
children b3c7b844b782
line wrap: on
line diff