Fix #109: allow options to start with a number#110

Merged

borkdude merged 1 commit intomainfrom issue-109

Dec 22, 2024

+23-10

Commits on Dec 22, 2024

Fix #109 : allow options to start with a number
borkdude
committed