diff contrib/debugcmdserver.py @ 16990:1dbe8a2b1b96

export: add optional -r to synopsis It is not already covered by [OPTION]..., because in this case REV... would need to be marked optional.
author Thomas Arendsen Hein <thomas@intevation.de>
date Wed, 20 Jun 2012 16:46:10 +0200
parents e34106fa0dc3
children cd03fbd5ab57
line wrap: on
line diff