From 248fb510b9c2a6e3e80cda67af666dcf54908159 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 9 May 2009 13:46:38 +0000 Subject: [PATCH] Synch German string constants with latest. svn: r14763 --- collects/string-constants/german-string-constants.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index c93aa957ed..7b556c8289 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -1196,6 +1196,8 @@ (profj-java "Java") (profj-java-mode "Java-Modus") + (profj-java-coverage "Java-Abdeckung") ;; shows up in the preferences dialog under 'Color' + (profj-beginner-lang "Anfänger") (profj-beginner-lang-one-line-summary "Java-ähnliche Lehrsprache für Anfänger") (profj-full-lang "Voller Sprachumfang")