1 files changed, 1 insertions, 1 deletions
diff --git a/lptree.c b/lptree.c
index 37bfaf0..5c8de94 100644
--- a/lptree.c
+++ b/lptree.c
@@ -1,5 +1,5 @@
 /*
-** $Id: lptree.c,v 1.23 2017/12/14 15:30:04 roberto Exp $
+** $Id: lptree.c $
 ** Copyright 2013, Lua.org & PUC-Rio  (see 'lpeg.html' for license)
 */

diff --git a/lptree.c b/lptree.c index 37bfaf0..5c8de94 100644 --- a/lptree.c +++ b/lptree.c
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: lptree.c,v 1.23 2017/12/14 15:30:04 roberto Exp $	2	** $Id: lptree.c $
3	** Copyright 2013, Lua.org & PUC-Rio (see 'lpeg.html' for license)	3	** Copyright 2013, Lua.org & PUC-Rio (see 'lpeg.html' for license)
4	*/	4	*/
5		5