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

<ruleset name="AdaCore" platform="mixedcontent">

	<target host="adacore.com"/>
	<target host="*.adacore.com"/>


	<securecookie host="^www\.adacore\.com$" name=".*"/>


	<!--	Matches:

			- libre
			- www
      Other subdomains may not work:
      https://trac.torproject.org/projects/tor/ticket/7219
				-->
	<rule from="^http://(www\.|libre\.)?adacore\.com/"
		to="https://$1adacore.com/"/>

</ruleset>