From 982feaf22d153d04543422cc5695200c10633a54 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 17:10:49 +0000
Subject: Use proofgeneral.org mailing addresses again.

---
 html/functions.php3 | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'html/functions.php3')

diff --git a/html/functions.php3 b/html/functions.php3
index 90b94f3e..208abc17 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -14,15 +14,15 @@
 
 // Project configuration
 
-// $project_email = "feedback@proofgeneral.org";
-// $project_list  = "users@proofgeneral.org";
-// $project_feedback = "feedback@proofgeneral.org":
-
-// Disable because free parking forwarding is broken
-$proofgenatdcs = "proofgen@dcs.ed.ac.uk";
-$project_email = $proofgenatdcs;
-$project_list  = $proofgenatdcs;
-$project_feedback = $proofgenatdcs;
+$project_email = "feedback@proofgeneral.org";
+$project_list  = "users@proofgeneral.org";
+$project_feedback = "feedback@proofgeneral.org";
+
+// Disable when free parking forwarding is broken
+// $proofgenatdcs = "proofgen@dcs.ed.ac.uk";
+// $project_email = $proofgenatdcs;
+// $project_list  = $proofgenatdcs;
+// $project_feedback = $proofgenatdcs;
 
 $project_title = "Proof General";
 
-- 
cgit v1.2.3