Skip to content

fix: correct the type of include and exclude options#7

Merged
chenjiahan merged 1 commit intomainfrom
include_types_1103
Nov 3, 2024
Merged

fix: correct the type of include and exclude options#7
chenjiahan merged 1 commit intomainfrom
include_types_1103

Conversation

@chenjiahan
Copy link
Copy Markdown
Member

@chenjiahan chenjiahan merged commit f838012 into main Nov 3, 2024
@chenjiahan chenjiahan deleted the include_types_1103 branch November 3, 2024 02:43
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