From 6ddf59637819651c204dc3bc27c6279c0d74b0c0 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Thu, 23 Dec 2004 18:07:48 +0000
Subject: [PATCH] *** empty log message ***

---
 doc/gmsh.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/gmsh.html b/doc/gmsh.html
index 931c47425a..d0f5fff780 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -77,9 +77,9 @@ capabilities</a>.
 <input type="submit" value="Search!">&nbsp;
 <input type=HIDDEN name="ps" value=10>
 <select name="ul">
-<option value="/gmsh/" SELECTED>All Gmsh resources
+<option value="/gmsh" SELECTED>All Gmsh resources
 <option value="/gmsh/doc/">Gmsh documentation
-<option value="/pipermail/gmsh/">Gmsh mailing list archive
+<option value="/pipermail/gmsh">Gmsh mailing list archives
 </select>
 </form>
 
-- 
GitLab