Merge pull request #61 from JiechengZhao/i18n-zh-2

update script based on utensil's suggestion
leanprover-community · Apr 15, 2024 · b567f54 · b567f54
2 parents 1b91b1c + ac7b079
commit b567f54
Show file tree

Hide file tree

Showing 3 changed files with 1,060 additions and 1,182 deletions.
diff --git a/.i18n/en/Game.pot b/.i18n/en/Game.pot
@@ -1,7 +1,7 @@
 msgid ""
 msgstr "Project-Id-Version: Game v4.7.0\n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: Wed Apr 10 17:04:44 2024\n"
+"POT-Creation-Date: Thu Apr 11 19:41:22 2024\n"
 "Last-Translator: \n"
 "Language-Team: none\n"
 "Language: en\n"