From ca5465bc1354e43da0a8b196d851e858e7ad7f8e Mon Sep 17 00:00:00 2001 From: Francesco Date: Mon, 25 Sep 2023 10:24:34 +0200 Subject: [PATCH] Documentation --- docs/{docs.html => index.html} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{docs.html => index.html} (100%) diff --git a/docs/docs.html b/docs/index.html similarity index 100% rename from docs/docs.html rename to docs/index.html