aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-18 09:27:05 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-07-18 09:27:05 +0000
commitc6131a89d017bb7ee802954951bb98ca8b7977dc (patch)
tree1afa6fa2672a7ad2d3366ea3327bd97f55e1ec0b /html
parent1743c14b5a7588fac8d14d6c6983b1020d920ca8 (diff)
Fix link to ETI
Diffstat (limited to 'html')
-rw-r--r--html/links.html2
1 files changed, 1 insertions, 1 deletions
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>