libremiami-search/searx/plugins/https_rules/Github-Pages.xml
2015-04-13 00:30:12 +02:00

11 lines
207 B
XML

<!--
For other GitHub coverage, see Github.xml.
-->
<ruleset name="GitHub Pages">
<target host="*.github.io" />
<rule from="^http://([^/@:\.]+)\.github\.io/"
to="https://$1.github.io/" />
</ruleset>