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

<ruleset name="Toolserver">
  <target host="toolserver.org" />
  <target host="*.toolserver.org" />

  <rule from="^http://(?:www\.)?toolserver\.org/"
	  to="https://toolserver.org/" />
  <rule from="^http://(fingerprints|fisheye|jira|journal|svn|wiki)\.toolserver\.org/"
	  to="https://$1.toolserver.org/" />
</ruleset>