From 3124d90cd646ebb039739d18f4a55c5f463a551f Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Fri, 29 Mar 2024 12:36:39 +0100 Subject: [PATCH] typo --- client/public/locales/de/translation.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/public/locales/de/translation.json b/client/public/locales/de/translation.json index 05127f4..7eab79f 100644 --- a/client/public/locales/de/translation.json +++ b/client/public/locales/de/translation.json @@ -62,7 +62,7 @@ "locked": "nicht verfügbar", "disabled": "gesperrt", "new": "neu", - "Not unlocked yet": "Not nicht verfügbar", + "Not unlocked yet": "Noch nicht verfügbar", "Not available in this level": "In diesem Level nicht verfügbar", "A repository of learning games for the proof assistant <1>Lean (Lean 4) and its mathematical library <5>mathlib": "Eine Sammlung von Lernspielen für den Beweisassistenten <1>Lean (Lean 4) und dessen mathematische Bibliothek <5>mathlib", "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER to open a game directly from a local folder.": "Kein Spiel geladen. öffne <1>http://localhost:3000/#/g/local/FOLDER um ein Spiel direkt von einem lokalen Ordner zu laden.",