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

<!--	Nonfunctional:
		wiki.eclipse.org	(redirects to marketplace 404)
-->
<ruleset name="Eclipse (partial)">

	<target host="*.eclipse.org"/>

	<securecookie host="^bugs\.eclipse\.org$" name=".*"/>

	<rule from="^http://bugs\.eclipse\.org/"
		to="https://bugs.eclipse.org/"/>

	<rule from="^http://dev\.eclipse\.org/(custom|large)_icons/"
		to="https://dev.eclipse.org/$1_icons/"/>

	<rule from="^http://marketplace(1)?\.eclipse\.org/(eclipse\.org-common|misc|modules|sites)/"
		to="https://marketplace$1.eclipse.org/$2/"/>

</ruleset>