From 261a7f71a9bbfa975a877e6629438631aa9bc850 Mon Sep 17 00:00:00 2001
From: Maurizio Napolitano <napo@fbk.eu>
Date: Mon, 19 Feb 2024 16:16:53 +0100
Subject: [PATCH] update for github pages

---
 webapp/docs | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 webapp/docs

diff --git a/webapp/docs b/webapp/docs
deleted file mode 120000
index e66777e..0000000
--- a/webapp/docs
+++ /dev/null
@@ -1 +0,0 @@
-webapp/public/docs
\ No newline at end of file