diff options
author | 2004-01-15 15:06:49 +0000 | |
---|---|---|
committer | 2004-01-15 15:06:49 +0000 | |
commit | b8f93acd7cc8dec606a9fac6eba26abcc571d211 (patch) | |
tree | c8130e246f81eb9a7af4b0cb102f5d556d11af54 | |
parent | 7bb2faa29501477bff249033e58224b16b104fef (diff) |
Add redirect for ~proofgen on zermelo.dcs
-rw-r--r-- | html/.htaccess | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/html/.htaccess b/html/.htaccess index 45e6575e..81c0ea37 100644 --- a/html/.htaccess +++ b/html/.htaccess @@ -1,2 +1,5 @@ RemoveHandler .html AddType application/x-httpd-php .html +# support old address of zermelo.dcs.ed.ac.uk/~proofgen +Redirect /~proofgen http://proofgeneral.inf.ed.ac.uk/ +Redirect /home/proofgen http://proofgeneral.inf.ed.ac.uk/ |