diff options
Diffstat (limited to 'etc/Mailman/subscribe.html')
| -rw-r--r-- | etc/Mailman/subscribe.html | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/etc/Mailman/subscribe.html b/etc/Mailman/subscribe.html deleted file mode 100644 index 9e084f57..00000000 --- a/etc/Mailman/subscribe.html +++ /dev/null @@ -1,13 +0,0 @@ -<!-- PG Template $Id$. Based on Informatics/MM Revision: 1.4 --> -<html> -<head> -<title><MM-List-Name> Subscription results</title> -<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> Subscription results</h1> -<MM-Results> -<MM-Mailman-Footer> -</body> -</html> |