Skip to content
Snippets Groups Projects
Commit 821b1790 authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

CI corr

parent 78cf227f
No related branches found
No related tags found
1 merge request!1Copy-edit examples; migrate to Jugit
Pipeline #32870 failed
Stage: build