This directory is used for some tests. As standard Lua has no command to create directories, it must be present before running the tests.
@@ -0,0 +1,2 @@
+# This is a dummy file just to make git keep the otherwise empty
+# directory 'P1' in the repository.
Roberto Ierusalimschy