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