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