https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Technical-University-of-Lisbon-Darkstar.xml

<ruleset name="Technical University of Lisbon (self-signed)" default_off="self-signed">

	<target host="darkstar.ist.utl.pt" />
	<target host="tecnica.ist.utl.pt" />

	<rule from="^http://(darkstar|tecnica)\.ist\.utl\.pt/"
		to="https://$1.ist.utl.pt/" />

</ruleset>