I HAVE GENERATED YOUR NEW DOCS!

This commit is contained in:
github-actions[bot]
2023-05-23 21:30:43 +00:00
parent c111c3813f
commit 9c726ee5da
1337 changed files with 16201 additions and 9160 deletions

View File

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