From ad272e032296982a09071224771c1f01e8d63cd0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 16:30:22 +0000
Subject: Fix link

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

(limited to 'html')

diff --git a/html/devel.html b/html/devel.html
index 416f1c2f..825ce08e 100644
--- a/html/devel.html
+++ b/html/devel.html
@@ -114,7 +114,7 @@ We have a mailing list for developers, at
 Posting is restricted to list members.
 To subscribe (or unsubscribe), 
 visit 
-<a href="http://lists.informatics.ed.ac.uk/listinfo/proofgeneral-devel">this 
+<a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral-devel">this 
 web page</a>.
 </p>
 
-- 
cgit v1.2.3