diff util.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 1267b1944cd7
children 50d55c3e0d85
line wrap: on
line diff