« Previous | Next » 

Revision 67840b40

ID67840b40ab0ac18e2a9a3706dc7513a05e134433

Added by Iustin Pop over 14 years ago

Move the “--select-os” option to cli.py

Signed-off-by: Iustin Pop <>
Reviewed-by: Michael Hanselmann <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences