a3236997be
There's no /usr/local/share/gnome-shell/search-providers, so don't throw if we don't find it. |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |
a3236997be
There's no /usr/local/share/gnome-shell/search-providers, so don't throw if we don't find it. |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |