From 22eebdce67535358f6ddc4c25731109b4b056a8f Mon Sep 17 00:00:00 2001
From: erbel <johannes.erbel@cs.uni-goettingen.de>
Date: Mon, 29 Oct 2018 15:14:15 +0100
Subject: [PATCH] Adjusted pages
---
config/html/index.hmtl | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/config/html/index.hmtl b/config/html/index.hmtl
index 37f9d10..0d74fde 100644
--- a/config/html/index.hmtl
+++ b/config/html/index.hmtl
@@ -25,7 +25,7 @@
<p>
Other subprojects used by MOCCI:
<ul>
- <li><a href="https://erbel.pages.gwdg.de/de.ugoe.cs.rwm.tocci/index.hmtl">TOCCI</a></li>
+ <li><a href="https://rwm.pages.gwdg.de/de.ugoe.cs.rwm.tocci/index.hmtl">TOCCI</a></li>
<li><a href="https://rwm.pages.gwdg.de/de.ugoe.cs.rwm.cocci/index.hmtl">COCCI</a></li>
<li><a href="https://rwm.pages.gwdg.de/de.ugoe.cs.rwm.docci/index.hmtl">DOCCI</a></li>
<li><a href="https://rwm.pages.gwdg.de/de.ugoe.cs.rwm.wocci/index.hmtl">WOCCI</a></li>
--
GitLab