From 0f61fcd8a2bf0032a4fe13c01cf881a2da796315 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 22 Jul 2023 08:46:37 +0200 Subject: [PATCH 1/4] chore(python-docs): update python doc assets to recent development state (#97) Co-authored-by: bossenti --- .../dev/scripts/gen_ref_pages/index.html | 227 ++- docs-python/dev/sitemap.xml | 96 +- docs-python/dev/sitemap.xml.gz | Bin 705 -> 705 bytes .../index.html | 464 +++--- .../index.html | 1388 +++++++---------- .../index.html | 962 +++++------- .../index.html | 916 +++++------ 7 files changed, 1726 insertions(+), 2327 deletions(-) diff --git a/docs-python/dev/scripts/gen_ref_pages/index.html b/docs-python/dev/scripts/gen_ref_pages/index.html index 3e7ce9f8f..b9547261b 100644 --- a/docs-python/dev/scripts/gen_ref_pages/index.html +++ b/docs-python/dev/scripts/gen_ref_pages/index.html @@ -1879,10 +1879,6 @@

Gen ref pages

}, 1000) }) - - - - - - - - - - - - - + + -
-