Skip to content
GitLab
Explore
Sign in
GNOME
Mahjongg
Merge requests
!2
Remove obsolete .ui file
Code
Review changes
Check out branch
Download
Patches
Plain diff
Robert Ancell
requested to merge
robert.ancell/gnome-mahjongg:remove-ui-file
into
master
Oct 31, 2018
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Should have been removed in
76d8385e
Merge request reports