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

[translation at torproject.org]

commit 7373cb4ba84db1f8c37fc9a84dd4fb7aeaa4a36d
Author: Translation commit bot <translation at torproject.org>
Date:   Fri Apr 20 10:15:29 2018 +0000

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

diff --git a/es/https-everywhere.dtd b/es/https-everywhere.dtd
index 3fa3ef4f6..62195f4a4 100644
--- a/es/https-everywhere.dtd
+++ b/es/https-everywhere.dtd
@@ -17,7 +17,7 @@
 <!ENTITY https-everywhere.options.importSettings "Importar configuraciones">
 <!ENTITY https-everywhere.options.import "Importar">
 <!ENTITY https-everywhere.options.enableMixedRulesets "Habilitar conjuntos de reglas de contenido mixto">
-<!ENTITY https-everywhere.options.showDevtoolsTab "Show Devtools tab">
+<!ENTITY https-everywhere.options.showDevtoolsTab "Mostrar pestaña Devtools">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Reglas actualizadas automáticamente">
 <!ENTITY https-everywhere.options.imported "Se ha importado tu configuración">