<!--
	^ginac.de doesn't exist.

-->
<ruleset name="GiNaC.de" default_off="self-signed">

	<target host="www.ginac.de" />


	<rule from="^http://www\.ginac\.de/"
		to="https://www.ginac.de/" />

</ruleset>