The default branch for this project has been changed. Please update your bookmarks.
This GitLab is scheduled to be shut down at the end of this year. Please create new projects/repositories on the kiz-GitLab (https://gitlab.uni-ulm.de/). Existing projects on this GitLab can be imported into the kiz-GitLab over "New project" > "Import project" > "Repository by URL" > https://gitlab-mi.informatik.uni-ulm.de/[path_to_project].git (clone project with https)