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

[translation at torproject.org]

commit 5d89c23e26cee92836bf9f8c0f9388c13f5caa61
Author: Translation commit bot <translation at torproject.org>
Date:   Fri Apr 20 10:15:38 2018 +0000

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

diff --git a/es/https-everywhere.dtd b/es/https-everywhere.dtd
index 4491b1c0d..62195f4a4 100644
--- a/es/https-everywhere.dtd
+++ b/es/https-everywhere.dtd
@@ -17,6 +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 "Mostrar pestaña Devtools">
 <!ENTITY https-everywhere.options.autoUpdateRulesets "Reglas actualizadas automáticamente">
 <!ENTITY https-everywhere.options.imported "Se ha importado tu configuración">