diff options
Diffstat (limited to 'searx/plugins/https_rules/Github-Pages.xml')
| -rw-r--r-- | searx/plugins/https_rules/Github-Pages.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/searx/plugins/https_rules/Github-Pages.xml b/searx/plugins/https_rules/Github-Pages.xml deleted file mode 100644 index d3be58a4c..000000000 --- a/searx/plugins/https_rules/Github-Pages.xml +++ /dev/null @@ -1,11 +0,0 @@ -<!-- - 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> |