[tor-commits] [translation/https_everywhere] Update translations for https_everywhere

[translation at torproject.org]

commit 7dcf46c6abe2403b6a14d234e3f778102b50cbb3
Author: Translation commit bot <translation at torproject.org>
Date:   Sun Apr 29 20:45:29 2018 +0000

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

diff --git a/eo/https-everywhere.dtd b/eo/https-everywhere.dtd
index f0ac7d8b5..497d47124 100644
--- a/eo/https-everywhere.dtd
+++ b/eo/https-everywhere.dtd
@@ -17,7 +17,7 @@
 <!ENTITY https-everywhere.options.importSettings "Enporti agordojn">
 <!ENTITY https-everywhere.options.import "Enporti">
 <!ENTITY https-everywhere.options.enableMixedRulesets "Enŝalti reguloj de miksita enhavo">
-<!ENTITY https-everywhere.options.showDevtoolsTab "Show Devtools tab">
+<!ENTITY https-everywhere.options.showDevtoolsTab "Montri langeton de programista ilaro">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Aŭtomate ĝisdatigi regulojn">
 <!ENTITY https-everywhere.options.imported "Viaj ŝanĝoj estis enportitaj.">