diff contrib/debugshell.py @ 15851:05ccad068313

phase: use standard syntax for command line flags We don't mark them as literal text and we mention the short option the first time we talk about a given flag.
author Martin Geisler <mg@aragost.com>
date Fri, 13 Jan 2012 11:29:47 +0100
parents 6b7b99867ada
children 3bc675361206
line wrap: on
line diff