commit | aa4c5cf190f77ab2730af5e21cfd2b830ff329df | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Jul 25 15:31:04 2018 -0300 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Wed Jul 25 15:31:04 2018 -0300 |
tree | f78ecc3378989cd68cb4eaae67fb27dabb85f247 | |
parent | b47f2cd068fb14a27d3da6fb3d08305b7d7b354d [diff] |
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'.