Skip to content
Snippets Groups Projects

update Makefile

Warning
Guilhem Saurel created pipeline for commit a6cd4c08
, finished
1 related merge request: !4 Update the devel branch
12 jobs 70 minutes 47 seconds, queued for 2 seconds