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

rm fct arg

parent 7d8b9d52
No related branches found
No related tags found
1 merge request!1303simplifications of resolution handling; resolve warnings
Pipeline #86766 passed