update of the docu.

This commit is contained in:
2022-05-29 12:52:13 +02:00
parent c0e43a46e4
commit 357e5d6069
24 changed files with 12599 additions and 557 deletions

10872
doc/html/_static/jquery-3.5.1.js vendored Normal file

File diff suppressed because it is too large Load Diff