diff push_cmd.py @ 162:7a58ff3502b7

Punctuation.
author Martin Geisler <mg@daimi.au.dk>
date Tue, 30 Dec 2008 19:24:16 -0600
parents 1fde85a10f9e
children fdc249cd1a0a
line wrap: on
line diff