Skip to content

Exit on unrecognized CLI option#727

Open
Perdu wants to merge 2 commits intoclementgallet:masterfrom
Perdu:exit_wrong_cli_option
Open

Exit on unrecognized CLI option#727
Perdu wants to merge 2 commits intoclementgallet:masterfrom
Perdu:exit_wrong_cli_option

Commits

Commits on Mar 31, 2026