Silvio Giebl 721ca36d85 Cleaned ids and classes ... (cherry picked from commit 2b153ed074811e735aaa58d57a3fcdf7838e17f5)		2019-08-15 23:05:32 +02:00
..
vendor	Updated lunr.js, added search navigation and preview/highlighting	2019-05-19 02:55:43 +02:00
just-the-docs.js	Cleaned ids and classes	2019-08-15 23:05:32 +02:00
search-data.json	Simplified search-data.json	2019-05-19 20:08:31 +02:00