svn: r537
This commit is contained in:
Philippe Meunier 2005-08-02 21:33:55 +00:00
parent 94e7c6fcc6
commit b7e0b9d664

View File

@ -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")