diff CONTRIBUTORS @ 8917:41ef9ea0ba66

commands: removed redundant line from push docstring
author Martin Geisler <mg@lazybytes.net>
date Sun, 21 Jun 2009 19:12:03 +0200
parents c29efd272395
children
line wrap: on
line diff