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

Commit e7da600

Browse files
ivysronoivysrono
authored
Add Gwern.net.xml (#19187)
2 parents 5a59d4c + 233296a commit e7da600

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)