diff options
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2020-08-12 16:58:51 -0300 |
---|---|---|
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2020-08-12 16:58:51 -0300 |
commit | 5027298b46c1e436bc7a007554139a29f34c2971 (patch) | |
tree | a522b070e8e6c78fec887213547b546c051e93f0 | |
parent | 6d763a250090e94b7cca0b971aac54b5c468cc18 (diff) | |
download | lua-5027298b46c1e436bc7a007554139a29f34c2971.tar.gz lua-5027298b46c1e436bc7a007554139a29f34c2971.tar.bz2 lua-5027298b46c1e436bc7a007554139a29f34c2971.zip |
Added directory 'testes/libs/P1' to the repository
This directory is used for some tests. As standard Lua has no command
to create directories, it must be present before running the tests.
-rw-r--r-- | testes/libs/P1/dummy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testes/libs/P1/dummy b/testes/libs/P1/dummy new file mode 100644 index 00000000..b0468a0a --- /dev/null +++ b/testes/libs/P1/dummy | |||
@@ -0,0 +1,2 @@ | |||
1 | # This is a dummy file just to make git keep the otherwise empty | ||
2 | # directory 'P1' in the repository. | ||