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

uniformly 'ASSERT(false)'

parent 832cc771
No related branches found
No related tags found
1 merge request!1319GUI: copy editing while reading distribution mechanism
Pipeline #87517 passed
Stage: build