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/register.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'html/register.html') diff --git a/html/register.html b/html/register.html index 2b8ed157..4fe35617 100644 --- a/html/register.html +++ b/html/register.html @@ -78,7 +78,7 @@ again, so return to the download page. . "\nEmail:\t\t " . $email . "\nSite:\t\t " . $site . "\nSubmitted:\t" . date("h:ia D jS F Y"); - mail("register@proofgeneral.org", + mail("da+pg-register@inf.ed.ac.uk", "[Registration form from ~proofgen]", $message); -- cgit v1.2.3