« Previous | Next » 

Revision 0df5a1b4

ID0df5a1b4489a97a46db6d6f27660cd1041f505b0
Parent 9a2ff880
Child b2245847

Added by Iustin Pop over 14 years ago

Add a command line option for executing jobs

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences