diff options
| author | David Aspinall | 2003-02-17 20:44:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-17 20:44:11 +0000 |
| commit | 71b52dac340d4dd55ab420628a51123781c7fc1d (patch) | |
| tree | 5e63d04b66c97f90cf672d199c37a4055b51f410 /html/footer.html | |
| parent | 62b63039ab46aee41cfceef7f9a56570e13d46d7 (diff) | |
Update addresses
Diffstat (limited to 'html/footer.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 de01ece5..77709857 100644 --- a/html/footer.html +++ b/html/footer.html @@ -2,7 +2,7 @@ <hr> <address> Web pages by -<a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>. +<a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. <br> Contact <?php mlinktxt($project_feedback, "Proof General maintainer."); ?> |