greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update .i18n/Game-zh_CN.po

Browse Source 
Co-authored-by: Utensil <utensilcandel@gmail.com>
This commit is contained in:
Jiecheng Z
2024-03-23 20:19:12 +08:00
committed by GitHub
parent 5a36795d37
commit 1e0f41626b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.i18n/Game-zh_CN.po
View File

@@ -532,7 +532,7 @@ msgstr "接下来用 `rw [one_eq_succ_zero]` 把 `1` 变成 `succ 0'。"
#: Game.Levels.Tutorial.L03two_eq_ss0
msgid "Now finish the job with `rfl`."
msgstr "现在用 `rfl` 完成工作。"
msgstr "现在用 `rfl` 完成证明。"
#: Game.Levels.Tutorial.L03two_eq_ss0
msgid ""