From 48bd90ed38d2ac3cd29dd4d4873a00f053826590 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sun, 6 Jul 2025 06:59:16 +0000 Subject: [PATCH] Deployed 8ecd701 to develop in en with MkDocs 1.6.1 and mike 2.1.3 --- en/develop/index.html | 2 +- en/develop/installation/index.html | 8 +- en/develop/search/search_index.json | 2 +- en/develop/sitemap.xml | 94 ++++++++++----------- en/develop/sitemap.xml.gz | Bin 565 -> 565 bytes en/develop/windows_installation/index.html | 4 +- 6 files changed, 55 insertions(+), 55 deletions(-) diff --git a/en/develop/index.html b/en/develop/index.html index 9c8d23ada..7119c709a 100644 --- a/en/develop/index.html +++ b/en/develop/index.html @@ -1984,7 +1984,7 @@

Alternatively