diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-03-20 18:05:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-03-20 18:05:01 +0000 |
commit | 8d598218e731f82516cc684567f05a4d830cc439 (patch) | |
tree | f16f9f1648152ab109db5387dea389b3df763282 /html | |
parent | 976711717432e3b794c786c7b5199a0c71bc53ea (diff) |
Change to my canonical www.dcs web address
Diffstat (limited to 'html')
-rw-r--r-- | html/footer.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/footer.html b/html/footer.html index 35c6cf83..7c6db36a 100644 --- a/html/footer.html +++ b/html/footer.html @@ -7,7 +7,7 @@ </a> <address> Web pages by -<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. +<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. <br> Contact <?php mlinktxt($project_feedback, "Proof General maintainer."); ?> |