From 21f663d29fd46b0ebf2bbc3f039ed31bef2e29d4 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Tue, 10 Jul 2018 13:40:30 -0300
Subject: [PATCH] Added missing $Id$ to file 'ljumptab.h'

---
 ljumptab.h | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/ljumptab.h b/ljumptab.h
index c642c23e..01d2c11e 100644
--- a/ljumptab.h
+++ b/ljumptab.h
@@ -1,3 +1,10 @@
+/*
+** $Id: ljumptab.h 2018/07/10 13:40:16 $
+** Jump Table for the Lua interpreter
+** See Copyright Notice in lua.h
+*/
+
+
 #undef vmdispatch
 #undef vmcase
 #undef vmbreak