Updated manual

This commit is contained in:
Mark Qvist 2024-03-09 21:05:59 +01:00
parent d9460c43ad
commit 29bdcea616
19 changed files with 58 additions and 58 deletions

View file

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