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