Skip to content
Snippets Groups Projects

Highlight only the currently selected fragment, not all previous ones

Passed
created pipeline for commit d9767e74
, finished
Related merge request !59 to merge initial-ui
merge request
1 job 4 minutes 30 seconds, queued for 5 seconds