
7 Aug
2007
7 Aug
'07
6:12 p.m.
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