commit fcc39bcfce6f8e9c76936793722c29faf7a9c482 Author: Translation commit bot translation@torproject.org Date: Mon Jun 11 20:15:38 2018 +0000

Update translations for https_everywhere_completed --- fr/https-everywhere.dtd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fr/https-everywhere.dtd b/fr/https-everywhere.dtd index f771ce503..817afa163 100644 --- a/fr/https-everywhere.dtd +++ b/fr/https-everywhere.dtd @@ -17,7 +17,7 @@ <!ENTITY https-everywhere.options.importSettings "Importer les paramètres"> <!ENTITY https-everywhere.options.import "Importer"> <!ENTITY https-everywhere.options.enableMixedRulesets "Activer les ensembles de règles pour le contenu mixte"> -<!ENTITY https-everywhere.options.showDevtoolsTab "Afficher l’onglet Devtools"> +<!ENTITY https-everywhere.options.showDevtoolsTab "Afficher l’onglet des outils pour développeurs"> <!ENTITY https-everywhere.options.autoUpdateRulesets "Ensembles de règles de mise à jour automatique"> <!ENTITY https-everywhere.options.imported "Vos paramètres ont été importés.">