« Previous | Next » 

Revision 75d1edf8

ID75d1edf8fcba55aca62007190f016c2578a7c5c2
Parent 497e30a1
Child 446d8827

Added by Iustin Pop almost 15 years ago

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

View differences