Skip to content
Snippets Groups Projects
Commit 3d883f6d authored by Ralf Jung's avatar Ralf Jung
Browse files

remove no-longer-needed Makefile hackery

parent 9a9bb08b
Branches
No related tags found
No related merge requests found
Pipeline #12771 failed