https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/PANGAEA.xml

<ruleset name="PANGAEA (partial)">

	<target host="secure.pangaea.de"/>
	<target host="www.secure.pangaea.de"/>

	<rule from="^http://(?:www\.)?secure\.pangaea\.de/"
		to="https://secure.pangaea.de/"/>

</ruleset>