1 files changed, 1 insertions, 1 deletions
diff --git a/lmem.c b/lmem.c
index 56b4affe..77518707 100644
--- a/lmem.c
+++ b/lmem.c
@@ -1,5 +1,5 @@
 /*
-** $Id: lmem.c,v 1.97 2018/05/30 14:25:52 roberto Exp roberto $
+** $Id: lmem.c $
 ** Interface to Memory Manager
 ** See Copyright Notice in lua.h
 */

diff --git a/lmem.c b/lmem.c index 56b4affe..77518707 100644 --- a/lmem.c +++ b/lmem.c
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: lmem.c,v 1.97 2018/05/30 14:25:52 roberto Exp roberto $	2	** $Id: lmem.c $
3	** Interface to Memory Manager	3	** Interface to Memory Manager
4	** See Copyright Notice in lua.h	4	** See Copyright Notice in lua.h
5	*/	5	*/