[gnome-settings-daemon] media-keys: Remove now unused function

[Bastien Nocera <hadess src gnome org>]

commit 4773c405808c90637c88c1f6d5058367fdf67e65
Author: Bastien Nocera <hadess hadess net>
Date:   Sat Jan 12 20:22:58 2013 +0100

    media-keys: Remove now unused function

 plugins/media-keys/gsd-media-keys-manager.c |   16 ----------------
 1 files changed, 0 insertions(+), 16 deletions(-)
---
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c
index 5ddaefd..83f0538 100644
--- a/plugins/media-keys/gsd-media-keys-manager.c
+++ b/plugins/media-keys/gsd-media-keys-manager.c
@@ -875,22 +875,6 @@ do_home_key_action (GsdMediaKeysManager *manager,
 }
 
 static void
-do_execute_desktop (GsdMediaKeysManager *manager,
-		    const char          *desktop,
-		    gint64               timestamp)
-{
-        GDesktopAppInfo *app_info;
-
-        app_info = g_desktop_app_info_new (desktop);
-        if (app_info != NULL) {
-                launch_app (G_APP_INFO (app_info), timestamp);
-                g_object_unref (app_info);
-        } else {
-                g_warning ("Could not find application '%s'", desktop);
-	}
-}
-
-static void
 do_execute_desktop_or_desktop (GsdMediaKeysManager *manager,
 			       const char          *desktop,
 			       const char          *alt_desktop,