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

<ruleset name="Stevens">
	<target host="*.stevens.edu" />
	<exclusion pattern="^http://(personal|www.math|www.cs|www.acc|guinness.cs|tarantula.phy|www.phy|tarantula.srcit|www.srcit|debian.srcit|ubuntu.srcit)\.stevens\.edu/.*" />
		<rule from="^http://([^/:@\.]+)\.stevens\.edu/"
				  to="https://$1.stevens.edu/" />
</ruleset>