diff options
author | 2004-03-02 22:23:35 +0000 | |
---|---|---|
committer | 2004-03-02 22:23:35 +0000 | |
commit | a8f894ba13dea2fbac97c352d5ef1587d3d5b7a5 (patch) | |
tree | 9fe10b0d57f91fbb9dd749494aa4afa76b656b06 /etc/Mailman/handle_opts.html | |
parent | 13295efaaa0bee8c9d3393aedb8932b7365fe7b2 (diff) |
Purge proofgeneral.org
Diffstat (limited to 'etc/Mailman/handle_opts.html')
-rw-r--r-- | etc/Mailman/handle_opts.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/Mailman/handle_opts.html b/etc/Mailman/handle_opts.html index 98ce0a02..2912b593 100644 --- a/etc/Mailman/handle_opts.html +++ b/etc/Mailman/handle_opts.html @@ -2,8 +2,8 @@ <html> <head> <title><MM-List-Name> <MM-Operation> Results</title> -<link rel="SHORTCUT ICON" href="http://www.proofgeneral.org/favicon.ico"> -<link href="http://www.proofgeneral.org/proofgen.css" rel="stylesheet" type="text/css"> +<link rel="SHORTCUT ICON" href="http://proofgeneral.inf.ed.ac.uk/favicon.ico"> +<link href="http://proofgeneral.inf.ed.ac.uk/proofgen.css" rel="stylesheet" type="text/css"> </head> <body> <h1><MM-List-Name> <MM-Operation> Results</h1> |