diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.phtml b/html/news.phtml index a19189d1..9daad9a3 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -7,7 +7,7 @@ <li><b>21st October 1999</b><br> <p> See what Proof General 3.0 will look like! - The <a href="screenshot.phtml>screenshot</a> has been updated. + The <a href="screenshot.phtml">screenshot</a> has been updated. </p> <li><b>14th October 1999</b><br> <p> |