diff options
| author | David Aspinall | 1999-09-21 17:52:07 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-21 17:52:07 +0000 |
| commit | ee010e5edb82be8eb0946c5c7295ab91fe5f73ca (patch) | |
| tree | 182e429b700ca7714146ba7034f9221e44c9fd37 /html/main.phtml | |
| parent | 889d6511c538832864d1f1ec470968930be8ee12 (diff) | |
Replaced Patrick with desperate plea for help with Coq PG.
Diffstat (limited to 'html/main.phtml')
| -rw-r--r-- | html/main.phtml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/html/main.phtml b/html/main.phtml index 88359882..ceed3134 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -47,7 +47,9 @@ including: First crafted by <a href="http://www.dcs.ed.ac.uk/~hhg">Healfdene Goguen</a>. <br> - Currently maintained and developed by Patrick Loiseleur. + <b>No current maintainer. + <a href="feedback.phtml">Please offer to help!!</a>. + </b> </div> </td> </tr> |