Silvio Giebl d1c3e08337 Updated doc_collections format		2020-07-09 23:33:52 +02:00
..
vendor	Updated lunr.js, added search navigation and preview/highlighting	2019-05-19 02:55:43 +02:00
just-the-docs.js	Merge branch 'feature/search-sections' into improvement/navigation-new	2020-06-15 22:06:16 +02:00
zzzz-search-data.json	Updated doc_collections format	2020-07-09 23:33:52 +02:00