chore: cli help text: comma-separate alternative option forms#4911

Merged

nomeata merged 1 commit intoleanprover:masterfrom znssong:cmdline_help_docstring

Aug 4, 2024

+34-33

Commits on Aug 4, 2024

chore: Changed the help message of command-line shell
znssong
committed