Revision c38c44ad
ID | c38c44adf403e472bd3c53568f9831416173dd9e |
Make all options use cli_option
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>
Files
- added
- modified
- copied
- renamed
- deleted
ID | c38c44adf403e472bd3c53568f9831416173dd9e |
Added by Michael Hanselmann over 14 years ago
Make all options use cli_option
Signed-off-by: Michael Hanselmann <hansmi@google.com>
Reviewed-by: Iustin Pop <iustin@google.com>