gnome-shell/js
Carlos Soriano 2cce1b9ea0 appFavorites: Rename gnome-music.desktop
Recently Music gained a flatpak manifest inside the repo in bug 779905.
However that requires the desktop file to be properly named like
DBUS addresses are.

This patch renames the old Music desktop file to the new one.

https://bugzilla.gnome.org/show_bug.cgi?id=780157
2017-04-09 11:04:40 +02:00
..
extensionPrefs extensionPrefs: Tweak UI 2017-02-15 23:20:14 +01:00
gdm gdm: Handle absence of Fprint.Manager service 2017-03-20 19:02:07 +01:00
misc weather: Follow GNOME Weather's location permissions 2017-03-20 19:13:20 +01:00
perf Revert accidental commit "Test stuff" 2014-09-03 13:47:18 -04:00
portalHelper portalHelper: Fix portals which require a new window to be loaded 2017-04-06 12:28:43 +02:00
ui appFavorites: Rename gnome-music.desktop 2017-04-09 11:04:40 +02:00
js-resources.gresource.xml location: Split out PermissionStore 2017-03-20 19:02:08 +01:00
Makefile.am Use the versioned libmutter*.so versions 2017-02-14 11:23:09 +08:00