From d25a23dcca81341dce41f5444269eadb632981a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Helge=20He=C3=9F?= Date: Fri, 5 Aug 2022 19:01:07 +0200 Subject: [PATCH] Push index.html Didn't re-run make docs last time. --- docs/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/index.html b/docs/index.html index 08fe07e..cfccdd8 100644 --- a/docs/index.html +++ b/docs/index.html @@ -2,10 +2,10 @@ Redirecting - - + + - Documentation Index + Documentation Index