From d8c3397e3b17d8d97be984a5df79d7c3fa780182 Mon Sep 17 00:00:00 2001 From: Stefano Pigozzi Date: Sat, 12 Nov 2022 23:51:41 +0100 Subject: [PATCH] Delete unused HTML file --- docs/index.html | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 docs/index.html diff --git a/docs/index.html b/docs/index.html deleted file mode 100644 index 67a8350..0000000 --- a/docs/index.html +++ /dev/null @@ -1,3 +0,0 @@ - - - \ No newline at end of file