Skip to content
GitLab
Explore
Sign in
maja
maja
Merge requests
!126
Resolve "Remove deprecated build options"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Julie Brossard
requested to merge
151-remove-deprecated-build-options
into
develop
Apr 06, 2020
Overview
0
Commits
5
Pipelines
1
Changes
17
Expand
Closes
#151 (closed)
Edited
Apr 10, 2020
by
Julie Brossard
Merge request reports