Skip to content

Conversation

@threeal
Copy link
Owner

@threeal threeal commented Jan 5, 2024

This pull request simply removes unused header files from this project.

@threeal threeal added the chore label Jan 5, 2024
@threeal threeal added this to the Version 1.0.0 milestone Jan 5, 2024
@threeal threeal self-assigned this Jan 5, 2024
@threeal threeal marked this pull request as ready for review January 5, 2024 04:24
@threeal threeal merged commit 778803e into main Jan 5, 2024
@threeal threeal deleted the rm-unused-headers branch January 5, 2024 04:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants