2009/9/22 Iustin Pop <[email protected]>:
> I think we should either name them all flag_$blah (not so nice for
> cmdline)

The command line or the LU could automatically add the “flag_” part to
all flags passed to it.

Regards,
Michael

Reply via email to