From 5df101271a40b3e2f7c110de5e14f7cc30491107 Mon Sep 17 00:00:00 2001 From: github-actions Date: Sat, 10 Jun 2023 14:46:28 +0000 Subject: [PATCH] Update docs for main --- main/CHANGELOG.html | 263 ++++++++++++++++---------------- main/_sources/CHANGELOG.rst.txt | 7 +- main/_static/css/theme.css | 2 +- main/index.html | 1 + main/searchindex.js | 2 +- 5 files changed, 138 insertions(+), 137 deletions(-) diff --git a/main/CHANGELOG.html b/main/CHANGELOG.html index d1829fe..d6c8be2 100644 --- a/main/CHANGELOG.html +++ b/main/CHANGELOG.html @@ -57,73 +57,74 @@

General