Skip to content
GitLab
Explore
Sign in
Register
ResearchAndDevelopment
DP3
Merge requests
!697
Use Make instead of Ninja
Code
Review changes
Check out branch
Download
Patches
Plain diff
Andre Offringa
requested to merge
replace-ninja-with-make
into
master
Aug 01, 2022
Overview
0
Commits
3
Pipelines
4
Changes
5
Expand
Merge request reports