diff options
| author | David Aspinall | 2001-08-01 19:23:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-01 19:23:30 +0000 |
| commit | 24238452bf5a4c57c9fa4f16e8e0a3a666b092ae (patch) | |
| tree | 587aee7738edd9937f12a3b6087c47bd29cc73a5 /html/screenshot.html | |
| parent | 55e158fdd30b42d1e64991a4066da65fa45e6cd4 (diff) | |
Fix links to gallery
Diffstat (limited to 'html/screenshot.html')
| -rw-r--r-- | html/screenshot.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/screenshot.html b/html/screenshot.html index 662c19a4..0567b83b 100644 --- a/html/screenshot.html +++ b/html/screenshot.html @@ -103,6 +103,6 @@ graphical features are reduced! </table> <p> -For more pictures, see the Proof General <a href="gallery.html">gallery</a>. +For more pictures, see the Proof General <a href="gallery">gallery</a>. </p> |