Merge pull request EFForg#4238 from pgerber/tocco

fuglede · fuglede · commit 056975844bf9 · 2016-03-01T20:25:23.000Z
Tocco.ch: add website mvn.tocco.ch
diff --git a/src/chrome/content/rules/Tocco.ch.xml b/src/chrome/content/rules/Tocco.ch.xml
@@ -2,6 +2,7 @@
 	<target host="tocco.ch" />
 	<target host="dev.tocco.ch" />
 	<target host="git.tocco.ch" />
+	<target host="mvn.tocco.ch" />
 	<target host="sonar.tocco.ch" />
 	<target host="wiki.tocco.ch" />
 	<target host="www.tocco.ch" />
