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

[j.div] various things while testing GUI ()

Merging branch 'j.div'  into 'main'.

See merge request !2195
parents df2d870c 50391578
No related branches found
No related tags found
1 merge request!2195various things while testing GUI
Pipeline #122353 passed