From c6131a89d017bb7ee802954951bb98ca8b7977dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 18 Jul 2002 09:27:05 +0000
Subject: Fix link to ETI

---
 html/links.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/links.html b/html/links.html
index d3ca2b61..6995793a 100644
--- a/html/links.html
+++ b/html/links.html
@@ -66,6 +66,6 @@ for links to include here, please
 </ul>
 <ul>
 <li>
-  <a href="http://eti.cs.uni-dortmund.de:8080/servlet/ETI">ETI</a>
+  The <a href="http://eti.cs.uni-dortmund.de/eti/servlet/ETISiteApplication">Electronic Tool Integration</a> Platform.
 </li>
 </ul>
-- 
cgit v1.2.3