From fec0c8e3cfe0fb74580568245bbf92d95e5432ef Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Mon, 3 Mar 2003 22:38:18 +0000
Subject: [PATCH] better wording

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

diff --git a/doc/gmsh.html b/doc/gmsh.html
index bd433df6f5..f67f81cdec 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -252,10 +252,9 @@ href="http://www.gnu.org/copyleft/gpl.html">GNU General Public License
 
 <p>
 In short, this means that everyone is free to use Gmsh and to
-redistribute it on a free basis. Gmsh is not in the public domain,
-though. It is copyrighted and there are restrictions on its
-distribution (see the <a
-href="http://www.gnu.org/copyleft/gpl.html">license</a> and the <a
+redistribute it on a free basis. Gmsh is not in the public domain; it
+is copyrighted and there are restrictions on its distribution (see the
+<a href="http://www.gnu.org/copyleft/gpl.html">license</a> and the <a
 href="http://www.gnu.org/copyleft/gpl-faq.html">FAQ</a>). For example,
 you cannot integrate this version of Gmsh (in full or in parts) in any
 closed-source software you plan to distribute (commercially or not).
-- 
GitLab