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 a2f8cbd2..ef13c874 100644 --- a/html/projects.html +++ b/html/projects.html @@ -66,7 +66,7 @@ has a powerful source-level debugger, <i>edebug</i>. <p> If you are interested in working on any of these projects, feel free to discuss with the project proposer or on the -<?php link_root("devel#develmail","developer's mailing list") ?>. +<a href="devel#develmail">developer's mailing list</a>. </p> <p> |