bump to version 0.7.13

2023-03-05 14:26:31 +01:00
parent 510cfd2c0b
commit d57133f839
97 changed files with 1172 additions and 657 deletions
--- a/docs/_static/documentation_options.js
+++ b/docs/_static/documentation_options.js
@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.7.12',
+    VERSION: '0.7.13',
    LANGUAGE: 'en',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',