Simon Michael 46cda5e7de imp: cli: allow command options to be written before the command also ... It's clearer to write command-specific flags after the command name argument, but that's no longer required. (Writing non-builtin, addon-specific flags after -- is still required). Also, give up on "obey help/doc/version flags even if there's a bad command/flag", it's too hard to do well.		2024-06-25 18:37:54 +01:00
..
UI	imp: cli: allow command options to be written before the command also	2024-06-25 18:37:54 +01:00
UI.hs	;doc: main module haddock cleanups	2023-10-04 10:03:35 +01:00