From 63c1909d5a288b436a74f1361ed1ba11a4569b1c Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sun, 1 Oct 2023 15:59:42 +0200 Subject: [PATCH 1/7] chore(python-docs): update python doc assets to recent development state (#117) --- .../dev/scripts/gen_ref_pages/index.html | 12 +-- docs-python/dev/sitemap.xml | 96 +++++++++--------- docs-python/dev/sitemap.xml.gz | Bin 704 -> 704 bytes 3 files changed, 54 insertions(+), 54 deletions(-) diff --git a/docs-python/dev/scripts/gen_ref_pages/index.html b/docs-python/dev/scripts/gen_ref_pages/index.html index 5cac5c70f..02184c9d6 100644 --- a/docs-python/dev/scripts/gen_ref_pages/index.html +++ b/docs-python/dev/scripts/gen_ref_pages/index.html @@ -3168,7 +3168,7 @@

Gen ref pages

init_mathjax();
-
+
-