diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |