From 6e1e6660c4a35ea6ce716fe907e43bc2ecaccece Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 26 Jun 2010 17:58:03 +0200 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/german-string-constants.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/string-constants/german-string-constants.rkt b/collects/string-constants/german-string-constants.rkt index 49d78f1804..67a32dbd61 100644 --- a/collects/string-constants/german-string-constants.rkt +++ b/collects/string-constants/german-string-constants.rkt @@ -1426,6 +1426,7 @@ (planet-downloading "PLaneT: ~a herunterladen ...") (planet-installing "PLaneT: ~a installieren ...") (planet-finished "PLaneT: fertig mit ~a.") + (planet-docs-building "PLaneT: Dokumentation bauen (ausgelöst durch ~a)...") (planet-no-status "PLaneT") ;; this can happen when there is status shown in a different and then the user switches to a tab where planet hasn't been used ;; string normalization. To see this, paste some text with a ligature into DrRacket