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

<ruleset name="OLPC (partial)">

	<target host="dev.laptop.org"/>

	<rule from="^http://dev\.laptop\.org/"
		to="https://dev.laptop.org/"/>

	<securecookie host="^dev\.laptop\.org$" name=".*"/>

</ruleset>