Skip to content
GitLab
Explore
Sign in
Remove obsolete makefiles and directories.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Heinrich Schindler
requested to merge
make
into
master
Jul 19, 2020
Overview
0
Commits
1
Pipelines
0
Changes
5
Expand
Merge request reports
Loading