diff push_cmd.py @ 146:4da9f20aef01

Add some more coverage directives.
author Augie Fackler <durin42@gmail.com>
date Mon, 15 Dec 2008 22:48:04 -0600
parents 1da7aafdd323
children 58ae90a65f41
line wrap: on
line diff