diff options
author | 2001-08-01 19:23:30 +0000 | |
---|---|---|
committer | 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> |