commit f7de7d0c322e95df929c57b571ca557b24b37624
Author: Translation commit bot <translat...@torproject.org>
Date:   Mon Jun 11 20:15:30 2018 +0000

    Update translations for https_everywhere
---
 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.">
 

_______________________________________________
tor-commits mailing list
tor-commits@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits

Reply via email to