From 9d42d2709f41294fb9fb033348b4fd167497d8b6 Mon Sep 17 00:00:00 2001 From: martin-frbg Date: Thu, 19 Dec 2024 07:05:53 +0000 Subject: [PATCH] deploy: f2be482d434de20906f946ef8f58324364312303 --- docs/install/index.html | 76 +++++++++++++++++++++++------------ docs/search/search_index.json | 2 +- 2 files changed, 52 insertions(+), 26 deletions(-) diff --git a/docs/install/index.html b/docs/install/index.html index 97147cc8b..27bd48134 100644 --- a/docs/install/index.html +++ b/docs/install/index.html @@ -412,6 +412,11 @@ + + + + +
  • @@ -421,7 +426,8 @@ -
  • + +
  • @@ -810,7 +821,8 @@ -
  • +