shale 80e0bd875a [Search] Aggregator merges results ...

The search aggregator now merges search
results from different providers better.
It removed duplicate results, and orders
the list of results from highest to
lowest score.

2015-07-16 13:08:05 -07:00

..

search.html

[Search] Aggregator merges results

2015-07-16 13:08:05 -07:00

searchbar-item.html

[Search] Creating searchbar

2015-07-15 13:29:45 -07:00

searchbar.html

[Search] Changed default max results

2015-07-15 16:46:38 -07:00