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