From b9caaa8e4b66817dbc66d0e79b567b3285869fea Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 7 Feb 2004 19:31:13 +0000 Subject: Deleted file --- html/feedback.php | 89 ------------------------------------------------------- 1 file changed, 89 deletions(-) delete mode 100644 html/feedback.php (limited to 'html/feedback.php') diff --git a/html/feedback.php b/html/feedback.php deleted file mode 100644 index e599bfcd..00000000 --- a/html/feedback.php +++ /dev/null @@ -1,89 +0,0 @@ - - -
-Please use the form below to send us comments, suggestions, -or offers to help with Proof General development. -Or simply send an email directly to -the -
--You can also report a bug using this form, although it would -be more helpful to do this from within Emacs, using the -"Proof General -> Submit bug report" menu command. -
- - - -Dear " . $from . ",\n"; }; - print ""; - print "Thank-you for sending us feedback"; - if ($subject != "") { print " about " . $subject; }; - print ".
\n"; - print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read."; - print "
"; - - mail($project_feedback, - "[Web Feedback Form]: " . $subject, - $message, - "Reply-To: " . $from . "\n"); - - click_to_go_back(); - - footer(); -endif; -?> -- cgit v1.2.3