Skip to content
GitLab
Explore
Sign in
Plasma
Plasma Breeze visual style
Merge requests
!343
Bring back default values for options
Code
Review changes
Check out branch
Download
Patches
Plain diff
David Redondo
requested to merge
work/defaultoptions
into
master
Aug 18, 2023
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
I removed them by mistake
Merge request reports