From e0a538f380b8c1b7cbb01964e40d1b67e6f19608 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Tue, 1 Oct 2024 17:47:02 +0000 Subject: [PATCH] Deployed d8c6c76 to develop in en with MkDocs 1.6.1 and mike 2.1.3 --- en/develop/index.html | 2 +- en/develop/installation/index.html | 10 +++++----- en/develop/search/search_index.json | 2 +- en/develop/windows_installation/index.html | 4 ++-- 4 files changed, 9 insertions(+), 9 deletions(-) diff --git a/en/develop/index.html b/en/develop/index.html index c416320bd..5440f42cc 100644 --- a/en/develop/index.html +++ b/en/develop/index.html @@ -1863,7 +1863,7 @@

Alternatively