diff options
| author | Adam Tauber <asciimoo@gmail.com> | 2015-04-13 00:30:12 +0200 |
|---|---|---|
| committer | Adam Tauber <asciimoo@gmail.com> | 2015-04-13 00:30:12 +0200 |
| commit | d2a636f75d24953f5094ea97ab54a8a4353a65ff (patch) | |
| tree | 22da091679dd5b9460391a50810b96b80020e15f /searx/https_rules/Github-Pages.xml | |
| parent | 146928a74980b90de614b71512334ac0a6373048 (diff) | |
[mod] https rewrite pluginification
Diffstat (limited to 'searx/https_rules/Github-Pages.xml')
| -rw-r--r-- | searx/https_rules/Github-Pages.xml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/searx/https_rules/Github-Pages.xml b/searx/https_rules/Github-Pages.xml deleted file mode 100644 index d3be58a4c..000000000 --- a/searx/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> |