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

Loading