<!--
	No working URL known:
		frama.io

-->
<ruleset name="Frama.io">

	<!-- Each user gets their own subdomain -->
	<target host="*.frama.io" />
		<test url="http://dflinux.frama.io/thebeginnershandbook/lcdd01-debian/" />
		<test url="http://mabu.frama.io/HeartTempo/" />
		<test url="http://zeduckmaster.frama.io/2016/how-to-create-a-custom-rendering-in-a-qt5-widget/" />

	<rule from="^http:" to="https:" />

</ruleset>
