Skip to content
Snippets Groups Projects

fixed docu, and minor leftovers

Failed
Bert Palm created pipeline for commit 9190ef91
, finished
1 related merge request: !285 no more unflagged column
5 jobs 1 minute 50 seconds, queued for 2 seconds