From 76d59d433a90ed53473a0957c0b39f5f97b4537e Mon Sep 17 00:00:00 2001 From: Erwin Ried <1091420+eried@users.noreply.github.com> Date: Mon, 11 May 2020 23:03:01 +0200 Subject: [PATCH] Update index.html --- docs/index.html | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/docs/index.html b/docs/index.html index 891e0b52..64216817 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,4 +1,6 @@ -
If you are not redirected, click here.
+