From 1c70bc6e4eca6cb31ccdd77e18aaaf408704f9b0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Wed, 3 Jan 2024 08:28:13 +0000 Subject: [PATCH] deploy: 9a96134fa9052a2b9b5083d57494f0e2d770a4e0 --- docs/installation/index.html | 7 ++++--- docs/search/search_index.json | 2 +- docs/sitemap.xml.gz | Bin 127 -> 127 bytes index.html | 2 +- 4 files changed, 6 insertions(+), 5 deletions(-) diff --git a/docs/installation/index.html b/docs/installation/index.html index 8524ebf1..cb2cf211 100644 --- a/docs/installation/index.html +++ b/docs/installation/index.html @@ -1122,13 +1122,14 @@ sh -c "Tutorials