From aa4c5cf190f77ab2730af5e21cfd2b830ff329df Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Wed, 25 Jul 2018 15:31:04 -0300
Subject: Added directory to test file names in '$Id:'

From the point of view of 'git', all names are relative to the root
directory of the project. So, file names in '$Id:' also should be
relative to that directory: the proper name for test file 'all.lua'
is 'testes/all.lua'.
---
 testes/code.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'testes/code.lua')

diff --git a/testes/code.lua b/testes/code.lua
index 1a01c4a2..6bd6ebfa 100644
--- a/testes/code.lua
+++ b/testes/code.lua
@@ -1,4 +1,4 @@
--- $Id: code.lua,v 1.55 2018/03/12 14:19:36 roberto Exp $
+-- $Id: testes/code.lua $
 -- See Copyright Notice in file all.lua
 
 if T==nil then
-- 
cgit v1.2.3-55-g6feb