Skip to content

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

Merged
borkdude merged 1 commit intomainfrom
issue-109
Dec 22, 2024
Merged

Fix #109: allow options to start with a number#110
borkdude merged 1 commit intomainfrom
issue-109

Conversation

@borkdude
Copy link
Contributor

No description provided.

@borkdude borkdude merged commit cec7b2b into main Dec 22, 2024
20 checks passed
@borkdude borkdude deleted the issue-109 branch December 22, 2024 11:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant