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

CI: rm copied/pasted dir commands

parent 46997f66
No related branches found
No related tags found
1 merge request!1Copy-edit examples; migrate to Jugit
Pipeline #32891 canceled