diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 12:30:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-14 12:30:19 +0000 |
| commit | 576d3f177f6912505ee2fe6bde2c582f56c1c696 (patch) | |
| tree | 7ef87d179e2ef92e5e1adda9dc406f7e043c850c /html | |
| parent | 5d258826d871cb54675c876a46d53cb219c574b5 (diff) | |
Typo
Diffstat (limited to 'html')
| -rw-r--r-- | html/mailinglist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/mailinglist b/html/mailinglist index b7b81c4a..402047b0 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -30,7 +30,7 @@ The canonical mailing list address is <a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>. <br> This is an alias for -<tt>proofgeneral@informtics.ed.ac.uk</tt>. +<tt>proofgeneral@informatics.ed.ac.uk</tt>. </p> <p> In an effort to prevent spam, posting is restricted to list members. |