[tor-commits] [translation/https_everywhere] Removing "ms" dead locale

[translation at torproject.org]

commit f152550e4c59efc0ac4dae04db896652d55c1e94
Author: Translation commit bot <translation at torproject.org>
Date:   Thu Jun 21 17:22:38 2018 +0000

    Removing "ms" dead locale
---
 ms/https-everywhere.dtd        | 42 ------------------------------------------
 ms/https-everywhere.properties |  7 -------
 2 files changed, 49 deletions(-)

diff --git a/ms/https-everywhere.dtd b/ms/https-everywhere.dtd
deleted file mode 100644
index b73224d5a..000000000
--- a/ms/https-everywhere.dtd
+++ /dev/null
@@ -1,42 +0,0 @@
-<!ENTITY https-everywhere.about.title "">
-<!ENTITY https-everywhere.about.ext_name "">
-<!ENTITY https-everywhere.about.ext_description "">
-<!ENTITY https-everywhere.about.version "">
-<!ENTITY https-everywhere.about.created_by "">
-<!ENTITY https-everywhere.about.librarians "">
-<!ENTITY https-everywhere.about.thanks "">
-<!ENTITY https-everywhere.about.contribute  "">
-<!ENTITY https-everywhere.about.donate_tor "">
-<!ENTITY https-everywhere.about.tor_lang_code "">
-<!ENTITY https-everywhere.about.donate_eff "">
-
-<!ENTITY https-everywhere.menu.about "">
-<!ENTITY https-everywhere.menu.observatory "">
-<!ENTITY https-everywhere.menu.globalEnable "">
-<!ENTITY https-everywhere.menu.globalDisable "">
-
-<!ENTITY https-everywhere.prefs.title "">
-<!ENTITY https-everywhere.prefs.enable_all "">
-<!ENTITY https-everywhere.prefs.disable_all "">
-<!ENTITY https-everywhere.prefs.reset_defaults "">
-<!ENTITY https-everywhere.prefs.search "">
-<!ENTITY https-everywhere.prefs.site "">
-<!ENTITY https-everywhere.prefs.notes "">
-<!ENTITY https-everywhere.prefs.list_caption "">
-<!ENTITY https-everywhere.prefs.enabled "">
-<!ENTITY https-everywhere.prefs.ruleset_howto "">
-<!ENTITY https-everywhere.prefs.here_link "">
-<!ENTITY https-everywhere.prefs.toggle "">
-<!ENTITY https-everywhere.prefs.reset_default "">
-<!ENTITY https-everywhere.prefs.view_xml_source "">
-
-<!ENTITY https-everywhere.source.downloading "">
-<!ENTITY https-everywhere.source.filename "">
-<!ENTITY https-everywhere.source.unable_to_download "">
-
-<!ENTITY https-everywhere.popup.title "">
-<!ENTITY https-everywhere.popup.paragraph1 "">
-<!ENTITY https-everywhere.popup.paragraph2 "">
-<!ENTITY https-everywhere.popup.paragraph3 "">
-<!ENTITY https-everywhere.popup.keep "">
-<!ENTITY https-everywhere.popup.revert "">
diff --git a/ms/https-everywhere.properties b/ms/https-everywhere.properties
deleted file mode 100644
index 3cfced841..000000000
--- a/ms/https-everywhere.properties
+++ /dev/null
@@ -1,7 +0,0 @@
-# https-everywhere.menu.globalEnable = Enable HTTPS Everywhere
-# https-everywhere.menu.globalDisable = Disable HTTPS Everywhere
-# https-everywhere.menu.enableDisable = Enable / Disable Rules
-# https-everywhere.menu.noRules = (No Rules for This Page)
-# https-everywhere.menu.unknownRules = (Rules for This Page Unknown)
-# https-everywhere.toolbar.hint = HTTPS Everywhere is now active. You can toggle it on a site-by-site basis by clicking the icon in the address bar.
-# https-everywhere.migration.notification0 = In order to implement a crucial fix, this update resets your HTTPS Everywhere rule preferences to their default values.