Skip to content
GitLab
Explore
Sign in
add Makefile
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Langbein
requested to merge
in53uqud/idb-ws19:in53uqud-master-patch-85226
into
master
Jul 18, 2022
Overview
4
Commits
1
Pipelines
0
Changes
1
Expand
Add
Makefile
as this makes it easier to modify and build a PDF from this repository.
Merge request reports
Loading