[gnome-boxes] data: Update .desktop ID in search provider ini

[Florian Müllner <fmuellner src gnome org>]

commit cf7eb08d6a439871c033a04d8cc131c451513a05
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 2 17:27:01 2014 +0200

    data: Update .desktop ID in search provider ini
    
    This fixes the search provider after commit 7638b8377 renamed the
    file.

 data/gnome-boxes-search-provider.ini.in |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/data/gnome-boxes-search-provider.ini.in b/data/gnome-boxes-search-provider.ini.in
index 8d3d5f2..568d621 100644
--- a/data/gnome-boxes-search-provider.ini.in
+++ b/data/gnome-boxes-search-provider.ini.in
@@ -1,7 +1,7 @@
 [Shell Search Provider]
 _Title=Boxes
 Icon=gnome-remote-desktop
-DesktopId=gnome-boxes.desktop
+DesktopId=org.gnome.Boxes.desktop
 BusName=org.gnome.Boxes.SearchProvider
 ObjectPath=/org/gnome/Boxes/SearchProvider
 Version=2