From dac0e59efc1f58d906049508fb7a207bfb5efdc1 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 4 Dec 2023 07:55:07 +0100 Subject: [PATCH 1/2] chore(python-docs): update python doc assets to recent development state (#144) Co-authored-by: bossenti --- .../dev/scripts/gen_ref_pages/index.html | 12 +-- docs-python/dev/sitemap.xml | 96 +++++++++--------- docs-python/dev/sitemap.xml.gz | Bin 705 -> 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 334684523..180816d13 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();
-