2012-01-18 21:21:56 -05:00
|
|
|
[Desktop Entry]
|
|
|
|
Type=Application
|
2016-07-21 16:42:19 -04:00
|
|
|
Name=GNOME Shell Extension Preferences
|
|
|
|
Comment=Configure GNOME Shell Extensions
|
2012-01-18 21:21:56 -05:00
|
|
|
Exec=@bindir@/gnome-shell-extension-prefs %u
|
|
|
|
X-GNOME-Bugzilla-Bugzilla=GNOME
|
|
|
|
X-GNOME-Bugzilla-Product=gnome-shell
|
|
|
|
X-GNOME-Bugzilla-Component=extensions
|
|
|
|
X-GNOME-Bugzilla-Version=@VERSION@
|
|
|
|
Categories=GNOME;GTK;
|
|
|
|
OnlyShowIn=GNOME;
|
|
|
|
NoDisplay=true
|