Skip to content
GitLab
Explore
Sign in
Register
Cleaned up doc field, removed unused parameter.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Matthijs van der Wild
requested to merge
cleanup
into
master
Oct 10, 2023
Overview
0
Commits
1
Pipelines
0
Changes
2
Expand
This MR cleans up a few things missed in
!30 (merged)
.
Edited
Oct 10, 2023
by
Matthijs van der Wild
Merge request reports
Loading