Skip to content
GitLab
Explore
Sign in
Plasma
Ocean Sound Theme
Merge requests
!14
Rename to Ocean
Code
Review changes
Check out branch
Download
Patches
Plain diff
Guilherme Marçal Silva
requested to merge
rename_ocean
into
master
Aug 04, 2023
Overview
3
Commits
1
Pipelines
1
Changes
75
Expand
As discussed in
https://invent.kde.org/raploz/blue-ocean-sound-theme/-/issues/8
Merge request reports