From 6c764acd9d5d4699a6eb22e4b165bc6b1c94a964 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 15 Oct 2004 17:17:10 +0000
Subject: [PATCH] *** empty log message ***

---
 doc/texinfo/gmsh.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/texinfo/gmsh.texi b/doc/texinfo/gmsh.texi
index 9ec52b001f..616f5da1dc 100644
--- a/doc/texinfo/gmsh.texi
+++ b/doc/texinfo/gmsh.texi
@@ -1,5 +1,5 @@
 \input texinfo.tex @c -*-texinfo-*-
-@c $Id: gmsh.texi,v 1.138 2004-10-15 17:13:54 geuzaine Exp $
+@c $Id: gmsh.texi,v 1.139 2004-10-15 17:17:10 geuzaine Exp $
 @c
 @c Copyright (C) 1997-2004 C. Geuzaine, J.-F. Remacle
 @c
@@ -2683,8 +2683,8 @@ pop up menu on post-processing view button
 @cindex File formats
 
 This chapter describes the file formats that cannot be modified by the
-user. These formats have a version number (currently 1.2), independent of the
-Gmsh version number (currently @value{GMSH-VERSION}).
+user. (These formats have version numbers that are independent of the Gmsh
+version number.)
 
 All non-parsed file formats have sections enclosed between @code{$Key} and
 @code{$EndKey} tags.
-- 
GitLab