From 0562a42e37760e63a934b7d158a9ec0238890f53 Mon Sep 17 00:00:00 2001 From: Dave Date: Sun, 10 Sep 2023 17:26:45 +0200 Subject: [PATCH] remove unneeded init file --- docs/website/docs/__init__.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 docs/website/docs/__init__.py diff --git a/docs/website/docs/__init__.py b/docs/website/docs/__init__.py deleted file mode 100644 index e69de29bb2..0000000000