5 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	b999c35965	various minor refactorings mostly targeting CLI ergonomy	2025-05-31 15:27:52 +00:00
Jörn-Michael Miehe	5643ced9d1	CLI ergonomy: timeout value	2025-05-28 13:43:14 +00:00
Jörn-Michael Miehe	763c8f689e	CLI ergonomy	2025-05-28 12:35:35 +00:00
Jörn-Michael Miehe	2dab3c9ecd	CLI ergonomy	2025-05-28 00:21:14 +00:00
Jörn-Michael Miehe	fdccab81fa	move CLI into own module	2025-05-28 00:07:59 +00:00