« Previous | Next » 

Revision 0427285d

ID0427285d1a548b8ad4469ed8eaf5f661bf942461

Added by Iustin Pop almost 15 years ago

Unify the command line options and structures

This patch moves all the command line options and their internal
representation into CLI.hs. This means that duplicated options between
any two binaries are no longer declared twice, and that we no longer
need the two *Option classes.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences