Skip to content

Remove more unused files#825

Merged
MouriNaruto merged 1 commit intoM2Team:mainfrom
peashooter2:remove_unused_files
Feb 7, 2026
Merged

Remove more unused files#825
MouriNaruto merged 1 commit intoM2Team:mainfrom
peashooter2:remove_unused_files

Conversation

@peashooter2
Copy link
Contributor

Remove more unused files to reduce the size of the binary file.

Signed-off-by: peashooter2 <baozouptu_244597@qq.com>
@MouriNaruto MouriNaruto merged commit 558ea97 into M2Team:main Feb 7, 2026
1 check failed
@MouriNaruto
Copy link
Member

Note: I merged that without passing the GitHub Actions because I need to verify that locally, which has some changes related to that.

Kenji Mouri

@peashooter2 peashooter2 deleted the remove_unused_files branch February 7, 2026 00:13
@MouriNaruto
Copy link
Member

Note: Your PR has passed my local build.

Kenji Mouri

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.

2 participants