Re-activate and Update GiNaC.de.xml (#10048)

cschanaj · J0WI · commit cd6e2074dcc9 · 2017-05-29T14:27:15.000+02:00
diff --git a/src/chrome/content/rules/GiNaC.de.xml b/src/chrome/content/rules/GiNaC.de.xml
@@ -1,13 +1,11 @@
 <!--
-	^ginac.de doesn't exist.
-
+	GiNaC.de: GiNaC is Not a CAS
 -->
-<ruleset name="GiNaC.de" default_off="self-signed">
-
+<ruleset name="GiNaC.de">
+	<target host="ginac.de" />
 	<target host="www.ginac.de" />
 
+	<securecookie host=".+" name=".+" />
 
-	<rule from="^http://www\.ginac\.de/"
-		to="https://www.ginac.de/" />
-
-</ruleset>
+	<rule from="^http:" to="https:" />
+</ruleset>
