From 6909d7ec58f0206f1e25f9f5819b27373730ed7e Mon Sep 17 00:00:00 2001 From: sebadob Date: Wed, 23 Oct 2024 09:09:04 +0200 Subject: [PATCH] rebuild docs --- docs/getting_started/docker.html | 2 +- docs/print.html | 2 +- docs/searchindex.js | 222 +++++++------------------------ docs/searchindex.json | 172 ++---------------------- 4 files changed, 62 insertions(+), 336 deletions(-) diff --git a/docs/getting_started/docker.html b/docs/getting_started/docker.html index e2c98b57..ee6d3024 100644 --- a/docs/getting_started/docker.html +++ b/docs/getting_started/docker.html @@ -302,7 +302,7 @@