Jörn Friedrich Dreyer 2eec8dc156 correctly update search results when query is changed, show spinner when searching		2015-01-02 14:22:48 +01:00
..
search.js	correctly update search results when query is changed, show spinner when searching	2015-01-02 14:22:48 +01:00