Skip to content

fix: remove wrong cmdline option help#682

Merged
boriel merged 2 commits intomasterfrom
bugfix/bad_ignore_case_param
Oct 10, 2023
Merged

fix: remove wrong cmdline option help#682
boriel merged 2 commits intomasterfrom
bugfix/bad_ignore_case_param

Conversation

@boriel
Copy link
Copy Markdown
Collaborator

@boriel boriel commented Oct 10, 2023

No description provided.

@boriel boriel force-pushed the bugfix/bad_ignore_case_param branch from 18a28d5 to bdc3cab Compare October 10, 2023 21:45
@boriel boriel merged commit 1512ab5 into master Oct 10, 2023
@boriel boriel deleted the bugfix/bad_ignore_case_param branch October 10, 2023 21:49
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