comparison push_cmd.py @ 192:246ca614f04e

Promote first heading to a real title.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 21 Jan 2009 20:38:10 -0600
parents 57355b0e7bd1
children c2e51d6a2d7b
comparison
equal deleted inserted replaced
191:0e912d37cbab 192:246ca614f04e