diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index 16b394357b..24349caa5b 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -602,6 +602,7 @@ (user-defined-keybinding-error "Fehler beim Ausführen der Tastenbelegung ~a\n\n~a") (user-defined-keybinding-malformed-file "Die Datei ~a enthält kein Modul, das in der Sprache framework/keybinding-lang geschrieben ist.") + (user-defined-keybinding-malformed-file/found-lang "Die Datei ~a enthält kein Modul, das in der Sprache framework/keybinding-lang geschrieben ist. Stattdessen wurde Sprache ~s vorgefunden.") (keybindings-planet-malformed-spec "Die PLaneT-Spezifikation ist fehlerhaft: ~a") ; the string will be what the user typed in (keybindings-type-planet-spec "Bitte PLaneT-require-Spezifikation eingeben (ohne das `require')")