Skip to content
Snippets Groups Projects

update Makefile

Passed
Ralf Jung created pipeline for commit 4e96f9ee
, finished
For master
branch
6 jobs 11 minutes 0 seconds, queued for 1 seconds