Conform to checkstyle #195
Reference in New Issue
Block a user
Delete Branch "chore/followup-to-mr-38"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Followup to https://git.scicore.unibas.ch/cs108-fs26/Gruppe-13/-/merge_requests/38
mentioned in commit
ab82208283