From b1db073ab807f13cbb8c4600f05a11fc317ac567 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 9 Mar 2013 14:34:33 +0100 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/private/german-string-constants.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/string-constants/private/german-string-constants.rkt b/collects/string-constants/private/german-string-constants.rkt index 12b59fb9c5..4c09545922 100644 --- a/collects/string-constants/private/german-string-constants.rkt +++ b/collects/string-constants/private/german-string-constants.rkt @@ -95,6 +95,7 @@ (cs-jump-to-next-bound-occurrence "Zum nächsten gebundenen Vorkommen springen") (cs-jump-to-binding "Zu bindendem Vorkommen springen") (cs-jump-to-definition "Zu Definition springen") + (cs-open-defining-file "Datei mit Definition öffnen") (cs-error-message "Fehlermeldung") (cs-open-file "~a öffnen") (cs-rename-var "~a umbenennen")