Revision 334d1483
ID | 334d14837fc51e6dd7fe83533367cce78abd9a04 |
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