gnome-shell/js
Giovanni Campagna f39098a4f2 ViewSelector: remove the places & devices search provider
Remove the PlacesManager, its search provider and all associated code.
Places search is now provided by nautilus using the external search
provider API.

https://bugzilla.gnome.org/show_bug.cgi?id=683506
2012-09-16 19:02:22 +02:00
..
extensionPrefs Remove markup from translated strings 2012-08-06 11:59:14 -04:00
gdm fingerprint: autostart fprintd when necessary 2012-09-14 12:12:46 -04:00
misc Consolidate systemd and consolekit in a common abstract class 2012-08-18 18:09:55 +02:00
perf perf: Update to latest overlay changes 2012-08-20 20:40:01 +02:00
ui ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00
Makefile.am ViewSelector: remove the places & devices search provider 2012-09-16 19:02:22 +02:00