1 files changed, 1 insertions, 1 deletions
diff --git a/ljumptab.h b/ljumptab.h
index 01d2c11e..c775f10a 100644
--- a/ljumptab.h
+++ b/ljumptab.h
@@ -1,5 +1,5 @@
 /*
-** $Id: ljumptab.h 2018/07/10 13:40:16 $
+** $Id: ljumptab.h $
 ** Jump Table for the Lua interpreter
 ** See Copyright Notice in lua.h
 */

diff --git a/ljumptab.h b/ljumptab.h index 01d2c11e..c775f10a 100644 --- a/ljumptab.h +++ b/ljumptab.h
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: ljumptab.h 2018/07/10 13:40:16 $	2	** $Id: ljumptab.h $
3	** Jump Table for the Lua interpreter	3	** Jump Table for the Lua interpreter
4	** See Copyright Notice in lua.h	4	** See Copyright Notice in lua.h
5	*/	5	*/