Removed doc.zih.tu-dresden.de/util/README.md.
Closes #334 (closed). For getting rid of the pipeline error, see !597 (merged).
Edited by Jan Frenzel
Merge request reports
Activity
Filter activity
changed milestone to %Meeting-2022-06-01
requested review from @mflehmig--tu-dresden.de
assigned to @mflehmig--tu-dresden.de
assigned to @lazariv--tu-dresden.de and unassigned @mflehmig--tu-dresden.de
requested review from @lazariv--tu-dresden.de and removed review request for @mflehmig--tu-dresden.de
mentioned in commit 821fb99b
Please register or sign in to reply