Silvio Giebl 6f225b0d28 Improved search navigation		2019-05-19 02:55:43 +02:00
..
vendor	Updated lunr.js, added search navigation and preview/highlighting	2019-05-19 02:55:43 +02:00
just-the-docs.js	Improved search navigation	2019-05-19 02:55:43 +02:00
search-data.json	Allow for ampersand in title or URL	2019-01-16 00:31:30 -05:00