From 3408b8f7b7dc06205763787598ee50ca60c4e96b Mon Sep 17 00:00:00 2001 From: martin-frbg Date: Thu, 11 Jul 2024 16:49:46 +0000 Subject: [PATCH] deploy: 8277828fdc0e0cdb6cbd3bc91b2f082241fb66f2 --- docs/install/index.html | 1378 ++++++++++++++++----------------- docs/search/search_index.json | 2 +- 2 files changed, 688 insertions(+), 692 deletions(-) diff --git a/docs/install/index.html b/docs/install/index.html index c1a77389a..84c75ae12 100644 --- a/docs/install/index.html +++ b/docs/install/index.html @@ -317,31 +317,13 @@