Skip to content
GitLab
Explore
Sign in
Dropped unused option files
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sebastien Ponce
requested to merge
sponce_dropUnusedOptions
into
master
Feb 23, 2023
Overview
16
Commits
2
Pipelines
2
Changes
8
Expand
Corresponding tests have been dropped some time ago but the options files wre left behind
Merge request reports
Loading