From 7d2b0a0a67640ce6170ba100a47d921e2b253732 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20Ku=CC=88hn?= Date: Thu, 4 Feb 2021 09:46:06 +0100 Subject: [PATCH] dont use alpha docsearch anymore --- docs/src/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/index.html b/docs/src/index.html index e175def85..8c46f5f4a 100644 --- a/docs/src/index.html +++ b/docs/src/index.html @@ -2,7 +2,7 @@ ${head} - + ${app} @@ -15,7 +15,7 @@ ? '' : '' } - +