Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

补充汉化 #1215

Merged
merged 18 commits into from
Oct 12, 2024
Merged

补充汉化 #1215

merged 18 commits into from
Oct 12, 2024

Conversation

LoveBodhi
Copy link
Contributor

@LoveBodhi LoveBodhi commented Sep 30, 2024 •
edited
Loading

（备注：本PR可作为#1221 的一部分，我还是负责修订）

@LoveBodhi
Copy link
Contributor Author

唉……这次更新导致两个字符串“行星矿井”和“行星工厂”变为未使用字符串了……

@LoveBodhi LoveBodhi mentioned this pull request Oct 6, 2024
Open
@LoveBodhi
Copy link
Contributor Author

可以和 #1221 并行；将我那个改进后的G8HH字符串和 #1221 的字符串合并在一起，尽管G8HH优先。

@LoveBodhi LoveBodhi mentioned this pull request Oct 8, 2024
Open
@pmotschmann pmotschmann changed the base branch from master to 1.3.17 October 12, 2024 13:52
@pmotschmann pmotschmann merged commit 545cdec into pmotschmann:1.3.17 Oct 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@LoveBodhi @pmotschmann