From: Vladimir Prus (ghost_at_[hidden])
Date: 2007-08-07 14:12:44
Steven Mackenzie wrote:
> Very useful to me, thanks!
>
> I'm guessing that the implicit_value is distinct from the default_value,
> so that the default can be set seperately if the option is completely
> absent from the command line?
Heh, that's what I referred to in some previous discussion -- we kinda
have *two* different default values, which can be confusing.
- Volodya