Revert "Merge branch 'dev' of git.rwth-aachen.de:coscine/frontend/apps/ui into dev"

This reverts commit fccd0fd0

Merge request reports

Loading