From f254fb9c5ea72be92909f6cce89b8e9ee2d2135a Mon Sep 17 00:00:00 2001
From: Engelbert Niehaus
Date: Fri, 15 Sep 2023 14:24:07 +0200
Subject: [PATCH] Update index.html
---
docs/index.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/index.html b/docs/index.html
index 674715d..38fa8e5 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -423,7 +423,7 @@ based on Library:
- Header
+ Header