bump to version 0.7.25

2023-10-08 19:36:58 +02:00
parent 40eae45886
commit ce0aeeb03e
114 changed files with 3056 additions and 2976 deletions
--- a/docs/fr/_static/documentation_options.js
+++ b/docs/fr/_static/documentation_options.js
@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.7.24',
+    VERSION: '0.7.25',
    LANGUAGE: 'fr',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',