1 files changed, 1 insertions, 1 deletions
diff --git a/ldump.c b/ldump.c
index 0724aeb5..aca6245b 100644
--- a/ldump.c
+++ b/ldump.c
@@ -1,5 +1,5 @@
 /*
-** $Id: ldump.c,v 2.40 2017/11/28 11:19:07 roberto Exp roberto $
+** $Id: ldump.c $
 ** save precompiled Lua chunks
 ** See Copyright Notice in lua.h
 */

diff --git a/ldump.c b/ldump.c index 0724aeb5..aca6245b 100644 --- a/ldump.c +++ b/ldump.c
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: ldump.c,v 2.40 2017/11/28 11:19:07 roberto Exp roberto $	2	** $Id: ldump.c $
3	** save precompiled Lua chunks	3	** save precompiled Lua chunks
4	** See Copyright Notice in lua.h	4	** See Copyright Notice in lua.h
5	*/	5	*/