From a59c769ffc4b9e5fe90b0b5c8f0aa4b4651cec33 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Sat, 14 Oct 2023 11:20:12 +0200 Subject: [PATCH] chore(python-docs): update python doc assets to recent development state (#120) --- .../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 0b9f1a9de..93d2c8d04 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 @@