fix doc errors from recent merge
Passed
Frederik Hennig
created pipeline for commit
5ca45f2b
, finished
1 related merge request: !425 Refactor and Improve Documentation
9 minutes 6 seconds, queued for 3 seconds