From 7905a317d88888dd5af49c352742a1eb2707f628 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 9 Mar 2001 08:02:58 +0000
Subject: [PATCH] Better handling of DOS stuff (again)
---
Parser/Gmsh.l | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/Parser/Gmsh.l b/Parser/Gmsh.l
index 353b5f6ec1..7f5f56c16e 100644
--- a/Parser/Gmsh.l
+++ b/Parser/Gmsh.l
@@ -1,6 +1,6 @@
%{
-// $Id: Gmsh.l,v 1.27 2001-03-08 14:28:41 geuzaine Exp $
+// $Id: Gmsh.l,v 1.28 2001-03-09 08:02:58 geuzaine Exp $
#include <stdio.h>
#include <stdlib.h>
@@ -62,7 +62,7 @@ stepid {dieze}({digit})*
%%
-[
\ \t\n] /* none */ ;
+[\ \t\n\r\f] /* none */ ;
";" return tEND;
"/*" skipcomments();
"//" skipline();
--
GitLab