Skip to content
GitLab
Explore
Sign in
GNOME
gnome-mines
Merge requests
!38
The source project of this merge request has been removed.
Create new theme with better contrast
Ghost User
requested to merge
(removed):better-contrast-theme
into
master
Feb 02, 2023
Overview
0
Pipelines
0
Changes
14
Expand
Merge request reports