aboutsummaryrefslogtreecommitdiffhomepage
path: root/html/gallery.php
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-01-15 14:05:00 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-01-15 14:05:00 +0000
commit6c8a7016f6f9d5a12f425c4422690f489ce8590e (patch)
treeb2090cf8679a514c0029acc8d372a743daf18d3f /html/gallery.php
parentbb2f58f761b01dc7346ec6aeb1acb776b8a63cb5 (diff)
Fix link to feedback page
Diffstat (limited to 'html/gallery.php')
-rw-r--r--html/gallery.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/gallery.php b/html/gallery.php
index 69569ce1..035136f1 100644
--- a/html/gallery.php
+++ b/html/gallery.php
@@ -60,7 +60,7 @@ A nice poster for your wall or door. <br>
New Recruits Wanted <br>
This is a request for help with the Proof General
project. <br>
-Please <a href="feedback.html">sign up here</a>!
+Please <a href="feedback">sign up here</a>!
</p>
</tr>
<tr>