Skip to content
Snippets Groups Projects
Commit 5e70dd4b authored by Michael Leuschel's avatar Michael Leuschel
Browse files

update makefile

parent 8f315380
Branches
Tags
No related merge requests found
Pipeline #80105 failed