Skip to content
Snippets Groups Projects
Commit e96e61b6 authored by René Schöne's avatar René Schöne
Browse files

Merge branch '44-use-coverage-generator' into 'dev' 

Resolve "Use coverage generator"

See merge request !15
parents 33ccd7a9 fa7cefe1
No related branches found
No related tags found
2 merge requests!19dev to master,!15Resolve "Use coverage generator"
Pipeline #10040 passed
Stage: build
Stage: test
Stage: report
Stage: ragdoc_build
Stage: ragdoc_view
Stage: publish
Stage: deploy