Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Repository
gedit
gedit
gedit-preferences-dialog.c
Find file
Blame
History
Permalink
Define the plugin manager in the ui file
· 0f8bca7b
Paolo Borelli
authored
Mar 21, 2014
0f8bca7b