1 files changed, 1 insertions, 1 deletions
diff --git a/lopnames.h b/lopnames.h
index ab434b59..c40eaeae 100644
--- a/lopnames.h
+++ b/lopnames.h
@@ -1,5 +1,5 @@
 /*
-** $Id: lopnames.h,v 1.1 2018/06/26 18:00:55 roberto Exp $
+** $Id: lopnames.h $
 ** Opcode names
 ** See Copyright Notice in lua.h
 */

diff --git a/lopnames.h b/lopnames.h index ab434b59..c40eaeae 100644 --- a/lopnames.h +++ b/lopnames.h
@@ -1,5 +1,5 @@
1	/*	1	/*
2	** $Id: lopnames.h,v 1.1 2018/06/26 18:00:55 roberto Exp $	2	** $Id: lopnames.h $
3	** Opcode names	3	** Opcode names
4	** See Copyright Notice in lua.h	4	** See Copyright Notice in lua.h
5	*/	5	*/