diff options
| author | David Aspinall | 2003-12-11 16:46:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-12-11 16:46:47 +0000 |
| commit | 318d45596d7a57b90dbe685a3e1af3ec12a91469 (patch) | |
| tree | 788d9a7ce12872f457bca6f8c931ce54c1711af8 /html/register.html | |
| parent | 04baa23ca93674fea88bab8e2379daa1c4c0a472 (diff) | |
Remove proofgeneral.org domain.
Diffstat (limited to 'html/register.html')
| -rw-r--r-- | html/register.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 <a href="download#prereq">the download page</a>. . "\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); |