diff options
Diffstat (limited to 'html/projects.html')
| -rw-r--r-- | html/projects.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/projects.html b/html/projects.html index f1201caf..9f1c274d 100644 --- a/html/projects.html +++ b/html/projects.html @@ -61,7 +61,7 @@ has a powerful source-level debugger, <i>edebug</i>. <!-- <b>Skills:</b> --> <!-- </p><p> --> <!-- <b>Proposer:</b> --> -<!-- <a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a>. --> +<!-- <a href="http://homepages.inf.ed.ac.uk/da">David Aspinall</a>. --> <!-- </p> --> <p> |