diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-04-22 11:55:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-22 11:55:58 +0200 |
| commit | f251a9718e16d74714082af12f3edcc47d810d73 (patch) | |
| tree | 552e8210ba47a3559e23946eeb2716a36bed0346 /searx/plugins/https_rules/Github-Pages.xml | |
| parent | c6d5605d272c963b075bf17eba7407d0a700cd2a (diff) | |
| parent | 247c46c6b0c6e7f4fbbc4642bf288c51dcf20a33 (diff) | |
Merge pull request #9 from return42/drop-https-rewrite
[drop] plugin HTTPS rewrite - rule base is to old (update is to big)
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> |