From f1b29f9701aaac33db1438eb0577574f71324136 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 8 Feb 2024 05:02:12 +0000 Subject: [PATCH] Deployed 9522869f to develop with MkDocs 1.5.3 and mike 1.1.2 --- develop/examples/example9_1/index.html | 25 ++++--- develop/examples/example9_2/index.html | 40 +++++------ develop/examples/example9_3/index.html | 16 ++--- develop/examples/example9_6/index.html | 12 ++-- develop/search/search_index.json | 2 +- develop/sitemap.xml | 92 ++++++++++++------------- develop/sitemap.xml.gz | Bin 522 -> 522 bytes 7 files changed, 93 insertions(+), 94 deletions(-) diff --git a/develop/examples/example9_1/index.html b/develop/examples/example9_1/index.html index 4b14441f8..eeda141e2 100644 --- a/develop/examples/example9_1/index.html +++ b/develop/examples/example9_1/index.html @@ -389,9 +389,8 @@ }