Skip to content
Snippets Groups Projects

remove makefile building tool

Canceled
Jan Trávníček created pipeline for commit 10b5fb0e
, finished
For dev
branch
5 jobs 4 minutes 26 seconds, queued for 1 seconds