Skip to content
Snippets Groups Projects

remove no-longer-needed Makefile hackery

Passed
Ralf Jung created pipeline for commit df509b21
, finished
For master
8 jobs 21 minutes 20 seconds, queued for 41 seconds