lua

commit 5d7dec552044303abc0d469d430c1fbec3c7b635
parent af6d9f31165a13c34c0601f37ca5a67c365d1d01
Author: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date:   Mon, 17 Dec 2018 15:19:29 -0200

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.

Diffstat:
A
testes/libs/P1/dummy
 | 
2
++

1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/testes/libs/P1/dummy 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.