update of the documentation.

2024-04-23 10:50:11 +02:00
parent 92b1aac7a6
commit 4a6885f55b
27 changed files with 171 additions and 498 deletions
--- a/doc/html/_static/documentation_options.js
+++ b/doc/html/_static/documentation_options.js
@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '1.9.1',
+    VERSION: '1.9.3',
    LANGUAGE: 'None',
    COLLAPSE_INDEX: false,
    FILE_SUFFIX: '.html',