Commit df509b21 authored by Ralf Jung's avatar Ralf Jung
Browse files

remove no-longer-needed Makefile hackery

parent 5f134375
Pipeline #12728 passed with stage
in 21 minutes and 20 seconds