From b7e0b9d6642c148cef9b42d167571238fc526713 Mon Sep 17 00:00:00 2001 From: Philippe Meunier Date: Tue, 2 Aug 2005 21:33:55 +0000 Subject: [PATCH] . svn: r537 --- collects/string-constants/french-string-constants.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/string-constants/french-string-constants.ss b/collects/string-constants/french-string-constants.ss index c3293fde53..631d49b1ea 100644 --- a/collects/string-constants/french-string-constants.ss +++ b/collects/string-constants/french-string-constants.ss @@ -321,7 +321,7 @@ (plt:hd:refresh-downloading "Téléchargement de ~a") (plt:hd:refresh-installing "Installation de la nouvelle version de ~a") (plt:hd:refresh-progress "Progrès du téléchargement des manuels") -;; should not mention `SVN' (plt:hd:refresh-done "Fin du téléchargement des manuels par SVN") + (plt:hd:refresh-done "Fin du téléchargement des manuels") (plt:hd:refresh-installation-log "Journal de l'installation") (plt:hd:refresh-stopped "Téléchargement des manuels stoppé") (plt:hd:refreshing-manuals "Retéléchargement des manuels") @@ -1000,7 +1000,6 @@ (profiling-square "Quadratique") (profiling-number "Numbre d'appels de fonctions") (profiling-time "Temps cumulatif") - (profiling-clear "Effacer le profil") (profiling-update "Mettre à jour le profil") (profiling-col-percent-time "% Temps") (profiling-col-function "Fonction")