Skip to content
GitLab
Explore
Sign in
Constants set in quotation marks
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Storck
requested to merge
15360
into
master
May 22, 2024
Overview
0
Commits
1
Pipelines
0
Changes
3
Expand
Solve Ticket
https://bugtracker.uni-muenster.de/issues/15360?issue_count=1&issue_position=1
Merge request reports
Loading