bump lean-i18n and other stuff

leanprover-community · Mar 27, 2024 · 1a54edf · 1a54edf
1 parent ad1add5
commit 1a54edf
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/client/src/config.json b/client/src/config.json
@@ -17,6 +17,11 @@
       "iso": "de",
       "flag": "DE",
       "name": "Deutsch"
+    },
+    {
+      "iso": "zh",
+      "flag": "CN",
+      "name": "中国人"
     }
   ]
 }
diff --git a/client/src/i18n.ts b/client/src/i18n.ts
@@ -11,7 +11,6 @@ i18n
       // see https://github.com/i18next/i18next-http-backend
 
       loadPath: function(lngs, namespaces: Array<string>) {
-        console.warn(namespaces)
         if (namespaces[0].startsWith("g/")) {
           return '/i18n/{{ns}}/{{lng}}/Game.json';
         } else {

diff --git a/server/lake-manifest.json b/server/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/hhu-adam/lean-i18n.git",
    "type": "git",
    "subDir": null,
-   "rev": "59fea5bbc2ea22c2ee77ea6a65b0212ac241a56f",
+   "rev": "2c5ce050296621fda7f938b270a18d00672d556b",
    "name": "i18n",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",