Revision 67840b40
ID | 67840b40ab0ac18e2a9a3706dc7513a05e134433 |
Move the “--select-os” option to cli.py
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted
ID | 67840b40ab0ac18e2a9a3706dc7513a05e134433 |
Added by Iustin Pop almost 15 years ago
Move the “--select-os” option to cli.py
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>