From cc088a5be98b795a2eee2e9c6b35395400e8fce3 Mon Sep 17 00:00:00 2001
From: Giacomo Mulas <giacomo.mulas@inaf.it>
Date: Mon, 4 Sep 2023 12:13:20 +0000
Subject: [PATCH] Add new directory

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

diff --git a/doc/.gitkeep b/doc/.gitkeep
new file mode 100644
index 00000000..e69de29b
-- 
GitLab