« Previous | Next » 

Revision baef337d

IDbaef337d80a07d7eaa2352b8db283cde0ed2ec4e

Added by Iustin Pop over 14 years ago

Move the “--cleanup” option to cli.py

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences