From 815aa0515df466273175a917c986ede3829924cc Mon Sep 17 00:00:00 2001
From: Davide Vaghetti <davide.vaghetti@garr.it>
Date: Tue, 24 Sep 2024 15:05:43 +0000
Subject: [PATCH] Delete docs

---
 docs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 docs

diff --git a/docs b/docs
deleted file mode 100644
index e69de29..0000000
-- 
GitLab