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.