Skip to content

Resolve "no GNUmake CI yet"

Carsten Burgard requested to merge 3-no-gnumake-ci-yet into master

Closes #3 (closed)

Edited by Carsten Burgard

Merge request reports