diff options
| author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2018-12-17 15:19:56 -0200 |
|---|---|---|
| committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | 2018-12-17 15:19:56 -0200 |
| commit | 5d7dec552044303abc0d469d430c1fbec3c7b635 (patch) | |
| tree | 3c6a9cc228299560df348292ebc64e844567aeea | |
| parent | af6d9f31165a13c34c0601f37ca5a67c365d1d01 (diff) | |
| download | lua-github-5d7dec552044303abc0d469d430c1fbec3c7b635.tar.gz | |
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.
| -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 @@ +# This is a dummy file just to make git keep the otherwise empty +# directory 'P1' in the repository. |