Skip to content
GitLab
Explore
Sign in
GNOME
gnome-build-meta
Merge requests
!599
Move gnome-themes-extra to -world
Code
Review changes
Check out branch
Download
Patches
Plain diff
Javier Jardón
requested to merge
jjardon/gnome-themes-extra
into
master
Apr 19, 2020
Overview
3
Commits
1
Pipelines
4
Changes
4
Expand
Seems unmaintained, not a new release since 3.28 (2 years ago)
Merge request reports