Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Merge requests
!73
The source project of this merge request has been removed.
Remove wrong shortcut entry
Ghost User
requested to merge
(removed):remove_wrong_shortcut
into
master
Feb 12, 2020
Overview
2
Pipelines
0
Changes
1
Expand
Remove a shortcut from Keyboard Shortcut dialog
Issue:
#268 (closed)
Merge request reports