Skip to content

Conversation

zjxxxxxxxxx
Copy link
Collaborator

@zjxxxxxxxxx zjxxxxxxxxx commented Nov 28, 2023

Supports specifying files that need to be compiled through configuration

@zjxxxxxxxxx zjxxxxxxxxx merged commit 01c438d into main Nov 28, 2023
@zjxxxxxxxxx zjxxxxxxxxx deleted the options branch November 28, 2023 11:12
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