4 Commits

Author	SHA1	Message	Date
Mike McQuaid	a9c988772b	diy: downcase names. ... Fixes #9026	2020-11-02 12:09:25 +00:00
Markus Reiter	24ae318a3d	Move type annotations into files.	2020-10-10 14:59:39 +02:00
Markus Reiter	d4c2ffd705	Refactor CLI::Parser.	2020-07-31 15:07:17 +02:00
Mike McQuaid	85e65f6d9c	Move some cmd to dev-cmd. ... None of these made sense as end-user commands.	2020-04-14 14:29:38 +01:00