Skip to content
GitLab
Explore
Sign in
Removed doc.zih.tu-dresden.de/util/README.md.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jan Frenzel
requested to merge
334-remove-util-readme
into
preview
May 30, 2022
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Closes
#334 (closed)
. For getting rid of the pipeline error, see
!597 (merged)
.
Edited
May 30, 2022
by
Jan Frenzel
Merge request reports