From 496bbb89ba8fcdfb59686697e98eae27d7748904 Mon Sep 17 00:00:00 2001
From: Alejandro Moreo <alejandro.moreo@isti.cnr.it>
Date: Tue, 9 Nov 2021 15:52:53 +0100
Subject: [PATCH] Create index.html

---
 docs/index.html | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 docs/index.html

diff --git a/docs/index.html b/docs/index.html
new file mode 100644
index 0000000..0707108
--- /dev/null
+++ b/docs/index.html
@@ -0,0 +1 @@
+<meta http-equiv="refresh" content="0; url=./build/html/index.html" />