Skip to content

Commit 92cef4b

Browse files
J0WIJ0WI
authored
Create EditorConfig.org.xml (EFForg#18090)
2 parents 93e6235 + 7e685d1 commit 92cef4b

File tree

1 file changed

+17
-0
lines changed

1 file changed

+17
-0
lines changed

‎src/chrome/content/rules/EditorConfig.org.xml‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
<!--
2+
Non-functional hosts
3+
SSL peer certificate was not OK:
4+
- www.editorconfig.org
5+
- pydocs.editorconfig.org
6+
-->
7+
<ruleset name="EditorConfig.org">
8+
<target host="editorconfig.org" />
9+
<target host="www.editorconfig.org" />
10+
<target host="docs.editorconfig.org" />
11+
<target host="javadocs.editorconfig.org" />
12+
13+
<rule from="^http://www\.editorconfig\.org/"
14+
to="https://editorconfig.org/" />
15+
16+
<rule from="^http:" to="https:" />
17+
</ruleset>

0 commit comments

Comments
 (0)