Skip to content
This repository was archived by the owner on Nov 6, 2023. It is now read-only.

Commit 233296a

Browse files
pipboy96pipboy96
committed
Add Gwern.net.xml
1 parent 3185d5c commit 233296a

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

‎src/chrome/content/rules/Gwern.net.xml‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
<ruleset name="Gwern.net">
2+
<target host="gwern.net" />
3+
<target host="www.gwern.net" />
4+
<target host="direct.gwern.net" />
5+
6+
<rule from="^http:" to="https:" />
7+
</ruleset>

0 commit comments

Comments
 (0)