Skip to content
Snippets Groups Projects

minor changes to documentation page

Passed
created pipeline for commit 09067de2
, finished
1 related merge request: !170 minor changes to documentation page
4 jobs 8 minutes 47 seconds, queued for 2 seconds