Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Merge requests
!15
The source project of this merge request has been removed.
Update to use Gnome 3.x standard menus
Ghost User
requested to merge
(removed):issue_76_use_standard_menus
into
master
Nov 01, 2018
Overview
11
Pipelines
0
Changes
3
Expand
Fixes
#76 (closed)
Edited
Nov 06, 2018
by
Ghost User
Merge request reports