From 318d45596d7a57b90dbe685a3e1af3ec12a91469 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 Dec 2003 16:46:47 +0000
Subject: Remove proofgeneral.org domain.

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

(limited to 'html/functions.php3')

diff --git a/html/functions.php3 b/html/functions.php3
index 1a3a1457..78610cc3 100644
--- a/html/functions.php3
+++ b/html/functions.php3
@@ -15,9 +15,9 @@
 
 // Project configuration
 
-$project_email = "feedback@proofgeneral.org";
-$project_list  = "users@proofgeneral.org";
-$project_feedback = "feedback@proofgeneral.org";
+$project_email = "da+pg-feedback@inf.ed.ac.uk";
+$project_list  = "da+pg-users@inf.ed.ac.uk";
+$project_feedback = "da+pg-feedback@inf.ed.ac.uk";
 
 // Disable when free parking forwarding is broken
 // $proofgenatdcs = "proofgen@dcs.ed.ac.uk";
-- 
cgit v1.2.3