commit e7f0cc6b6af134717bb9fb1841cd35039ba62f06 Author: Translation commit bot translation@torproject.org Date: Tue Aug 28 15:15:44 2018 +0000

Update translations for https_everywhere_completed --- fr/https-everywhere.dtd | 9 +++++++++ 1 file changed, 9 insertions(+)

diff --git a/fr/https-everywhere.dtd b/fr/https-everywhere.dtd index 397c1aad5..8b73dd46c 100644 --- a/fr/https-everywhere.dtd +++ b/fr/https-everywhere.dtd @@ -14,9 +14,18 @@

<!ENTITY https-everywhere.options.generalSettings "Paramètres généraux"> <!ENTITY https-everywhere.options.advancedSettings "Paramètres avancés"> +<!ENTITY https-everywhere.options.updateChannels "Canaux de mise à jour"> <!ENTITY https-everywhere.options.enableMixedRulesets "Activer les ensembles de règles pour le contenu mixte"> <!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.updateChannelsWarning "Avertissement : l’ajout de canaux de mise à jour peut permettre à des assaillants de pirater votre navigateur. Ne modifiez cette section que si vous savez ce que vous faites !"> +<!ENTITY https-everywhere.options.addUpdateChannel "Ajouter un canal de mise à jour"> +<!ENTITY https-everywhere.options.enterUpdateChannelName "Saisir le nom du canal de mise à jour"> +<!ENTITY https-everywhere.options.delete "Supprimer"> +<!ENTITY https-everywhere.options.update "Mise à jour"> +<!ENTITY https-everywhere.options.storedRulesetsVersion "Version enregistrée des ensembles de règles :"> +<!ENTITY https-everywhere.options.updatesLastChecked "Dernière vérification des mises à jour :"> +<!ENTITY https-everywhere.options.updatesLastCheckedNever "jamais">

<!ENTITY https-everywhere.prefs.export_settings "Exporter les paramètres"> <!ENTITY https-everywhere.prefs.reset_defaults "Réinitialiser aux paramètres par défaut">