commit | 5d7dec552044303abc0d469d430c1fbec3c7b635 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Dec 17 15:19:56 2018 -0200 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Mon Dec 17 15:19:56 2018 -0200 |
tree | 3c6a9cc228299560df348292ebc64e844567aeea | |
parent | af6d9f31165a13c34c0601f37ca5a67c365d1d01 [diff] |
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 tests.
diff --git a/testes/libs/P1/dummy b/testes/libs/P1/dummy new file mode 100644 index 0000000..b0468a0 --- /dev/null +++ b/testes/libs/P1/dummy
@@ -0,0 +1,2 @@ +# This is a dummy file just to make git keep the otherwise empty +# directory 'P1' in the repository.