diff push_cmd.py @ 201:883976b654b6

Be more explicit about which branch I'm checking.
author Augie Fackler <durin42@gmail.com>
date Mon, 02 Mar 2009 23:54:14 -0600
parents 57355b0e7bd1
children c2e51d6a2d7b
line wrap: on
line diff