Revision 75d1edf8
ID | 75d1edf8fcba55aca62007190f016c2578a7c5c2 |
Parent | 497e30a1 |
Child | 446d8827 |
Introduce a class for CLI options
This patch generalizes a little the CLI handling by not passing in a
special function for help and such, but instead requiring that the
options object supports some common functionality.
Files
- added
- modified
- copied
- renamed
- deleted