[HTTPS-E Rulesets] [PATCH 1/7] Add mail.de

[Matthias-Christian Ott]

---
 src/chrome/content/rules/mail.de.xml |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
 create mode 100644 src/chrome/content/rules/mail.de.xml

diff --git a/src/chrome/content/rules/mail.de.xml b/src/chrome/content/rules/mail.de.xml
new file mode 100644
index 0000000..c3e41b4
--- /dev/null
+++ b/src/chrome/content/rules/mail.de.xml
@@ -0,0 +1,7 @@
+<ruleset name="mail.de">
+  <target host="mail.de" />
+  <target host="*.mail.de" />
+
+  <rule from="^http://(?:www\.)?mail\.de/" to="https://mail.de/" />
+  <rule from="^http://(adressbuch|free|kalender|my|registrierung)\.mail\.de/" to="https://$1.mail.de/" />
+</ruleset>
-- 
1.7.3.4