1
0
mirror of https://github.com/searxng/searxng.git synced 2024-11-18 10:20:11 +01:00
searxng/searx/plugins/https_rules/Github-Pages.xml
2015-04-13 00:30:12 +02:00

12 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>