Skip to content
Snippets Groups Projects

fix doc errors from recent merge

Passed
Frederik Hennig created pipeline for commit 5ca45f2b
, finished
14 jobs 9 minutes 6 seconds, queued for 3 seconds