From 11a9c3c92939f28753349666dd6bd63fec0db2d6 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Tue, 18 Nov 2008 09:19:39 +0000 Subject: [PATCH] Synch German string constants with latest. svn: r12483 --- 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 8a969ac10f..b3112612d7 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -901,6 +901,8 @@ (enforce-primitives-group-box-label "Initiale Bindungen") (enforce-primitives-check-box-label "Änderungen von initialen Bindungen verbieten") + (automatically-compile? "Quelldateien automatisch compilieren?") + ;; used in the bottom left of the drscheme frame as the label ;; above the programming language's name ;; used the popup menu from the just above; greyed out and only