diff options
-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/ |