Skip to content
GitLab
Explore
Sign in
GNOME
gnome-terminal
Repository
gnome-terminal
src
profile-editor.c
Find file
Blame
History
Permalink
prefs: editor: Merge the Preferences and Profile Preferences windows
· 42da010d
Egmont Koblinger
authored
Feb 04, 2018
https://bugzilla.gnome.org/show_bug.cgi?id=722114
42da010d