Update documentation

This commit is contained in:
GitHub Action
2022-03-05 14:32:49 +00:00
parent dc2129978e
commit 9445dc87af
40 changed files with 1735 additions and 768 deletions

View File

@ -1,6 +1,6 @@
var DOCUMENTATION_OPTIONS = {
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
VERSION: '0.7.1',
VERSION: '0.8.0',
LANGUAGE: 'None',
COLLAPSE_INDEX: false,
BUILDER: 'html',