diff options
| author | David Aspinall | 2002-07-13 16:30:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-07-13 16:30:22 +0000 |
| commit | ad272e032296982a09071224771c1f01e8d63cd0 (patch) | |
| tree | 69a9c6acdd69d07ebb7c7d53a603e9debe933e4e /html | |
| parent | 54f652a05b0c7995d4385f4139009f299b36bc45 (diff) | |
Fix link
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> |