Resolve "Remove Link of Tree Button in Navbar" (!18) · Merge requests · Institut für Informatik / QE Research Group / FORTE / Frontend · GitLab

Zoe Michaela Dietmar Pfister requested to merge 84-remove-link-of-tree-button-in-navbar into develop Oct 05, 2023

Closes #84 (closed)