1 files changed, 1 insertions, 1 deletions
diff --git a/lmem.h b/lmem.h
index f87c9132..8c75a44b 100644
--- a/lmem.h
+++ b/lmem.h
@@ -1,5 +1,5 @@
 /*
-** $Id: lmem.h,v 1.46 2017/12/08 17:28:25 roberto Exp roberto $
+** $Id: lmem.h $
 ** Interface to Memory Manager
 ** See Copyright Notice in lua.h
 */

diff --git a/lmem.h b/lmem.h index f87c9132..8c75a44b 100644 --- a/lmem.h +++ b/lmem.h
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: lmem.h,v 1.46 2017/12/08 17:28:25 roberto Exp roberto $	2	** $Id: lmem.h $
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	*/