Updated github build

This commit is contained in:
Mark Qvist 2024-10-02 02:16:46 +02:00
parent 908b5fbbd7
commit 7c130778d7
20 changed files with 78 additions and 44 deletions

View file

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