diff doc/gendoc.py @ 7981:20df260ae301

commands: clarify push help text
author Martin Geisler <mg@daimi.au.dk>
date Sat, 04 Apr 2009 18:03:03 +0200
parents fc06bd17c985
children a33d19dcf906
line wrap: on
line diff