Updating documentation.
Passed
René Schöne
created pipeline for commit
12749f95
, finished
1 related merge request: !14 Resolve "Check and update documentation"
9 minutes 12 seconds, queued for 7 seconds