Merge pull request #55 from JiechengZhao/main

Chinese .po translation for NNG4
leanprover-community · Mar 26, 2024 · 37f7fe7 · 37f7fe7
2 parents ad44c4f + f2f8a3f
commit 37f7fe7
Show file tree

Hide file tree

Showing 2 changed files with 5,297 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,4 @@ build/
 lake-packages/
 .lake/
 **/.DS_Store
+.i18n/*.mo