From f0d39feafe65b6fd399aca29815205d077bc4f4f Mon Sep 17 00:00:00 2001
From: Marcos <marcos.rodrigo@upm.es>
Date: Thu, 2 Mar 2023 14:14:36 +0100
Subject: [PATCH] Added .empty file so that the directory can be added to Git
 repository

---
 tmp/.empty | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 tmp/.empty

diff --git a/tmp/.empty b/tmp/.empty
new file mode 100644
index 0000000..e69de29