From 6962f318105033ba351b89aabe0637dd6c64fd98 Mon Sep 17 00:00:00 2001
From: Marco Ziesing <m.ziesing@mediacluster.de>
Date: Fri, 10 Jun 2016 19:52:15 +0200
Subject: [PATCH] closed

---
 HajekMuseum.de.xml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 HajekMuseum.de.xml

diff --git a/HajekMuseum.de.xml b/HajekMuseum.de.xml
deleted file mode 100644
index 04ae70e..0000000
--- a/HajekMuseum.de.xml
+++ /dev/null
@@ -1,7 +0,0 @@
-<ruleset name="Hajek Museum" default_off="self-signed certificate">
-  <target host="*.hajekmuseum.de" />
-  <target host="hajekmuseum.de" />
-
-  <rule from="^http://hajekmuseum\.de/" to="https://www.hajekmuseum.de/"/>
-  <rule from="^http://([^/:@\.]+)\.hajekmuseum\.de/" to="https://$1.hajekmuseum.de/"/>
-</ruleset>