« Previous | Next » 

Revision 334d1483

ID334d14837fc51e6dd7fe83533367cce78abd9a04
Parent 1977857b
Child 8f684e16

Added by Iustin Pop almost 15 years ago

Extend GenericMain with a way to override options

This allows scripts to pass options to generic functions (options that
are not visible in the command line).

Reviewed-by: imsnah

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences