From 8366e67fee163a1d06ce0d48e310ace200dbc410 Mon Sep 17 00:00:00 2001 From: Matthias Date: Mon, 28 Dec 2020 10:19:24 +0100 Subject: [PATCH] Remove custom header section from docs --- docs/partials/header.html | 54 --------------------------------------- 1 file changed, 54 deletions(-) delete mode 100644 docs/partials/header.html diff --git a/docs/partials/header.html b/docs/partials/header.html deleted file mode 100644 index 32202bccc..000000000 --- a/docs/partials/header.html +++ /dev/null @@ -1,54 +0,0 @@ -
- - - - -