From ca7f15897c5b88904ee44de9c3e40fe481b58e56 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 15 Apr 2024 08:03:46 +0200 Subject: [PATCH] chore(python-docs): update python doc assets to recent development state (#165) Co-authored-by: bossenti --- .../dev/scripts/gen_ref_pages/index.html | 12 +-- docs-python/dev/sitemap.xml | 98 +++++++++--------- docs-python/dev/sitemap.xml.gz | Bin 728 -> 728 bytes 3 files changed, 55 insertions(+), 55 deletions(-) diff --git a/docs-python/dev/scripts/gen_ref_pages/index.html b/docs-python/dev/scripts/gen_ref_pages/index.html index 29576da0b..ad2dbf538 100644 --- a/docs-python/dev/scripts/gen_ref_pages/index.html +++ b/docs-python/dev/scripts/gen_ref_pages/index.html @@ -3190,7 +3190,7 @@

Gen ref pages

init_mathjax();
-