Remove doc.zih.tu-dresden.de/util/README.md
The file doc.zih.tu-dresden.de/util/README.md is outdated. Remove it!
The file doc.zih.tu-dresden.de/util/README.md is outdated. Remove it!
changed milestone to %Meeting-2022-06-01
assigned to @s2817051--tu-dresden.de
mentioned in merge request !596 (merged)
closed with merge request !596 (merged)
mentioned in commit 821fb99b