From 573e18bb540060b1ff84d7daf6e19cee867eab2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9on=20van=20Berlo?= <github@berlotti.com>
Date: Wed, 6 Nov 2024 11:08:02 +0100
Subject: [PATCH] Delete docs directory

---
 docs/index.html | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 docs/index.html

diff --git a/docs/index.html b/docs/index.html
deleted file mode 100644
index 82265b31..00000000
--- a/docs/index.html
+++ /dev/null
@@ -1 +0,0 @@
-overview of exampel files (to come)