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