From 0d825671a55daf2f95cb76aa6eaaa64d6e2ff017 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jochen=20Ku=CC=88pper?= Date: Tue, 3 Oct 2023 15:25:24 +0200 Subject: [PATCH] Add dir and config for github Pages --- docs/.nojekyll | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/.nojekyll diff --git a/docs/.nojekyll b/docs/.nojekyll new file mode 100644 index 0000000..e69de29