Silvio Giebl 6bd43a1332 Fixed js browser incompatibility ... (cherry picked from commit d39b7b3041d1bdb9f80ab7f5878e64a3b3b79b5d)		2019-08-15 23:41:33 +02:00
..
vendor	Updated lunr.js, added search navigation and preview/highlighting	2019-05-19 02:55:43 +02:00
just-the-docs.js	Fixed js browser incompatibility	2019-08-15 23:41:33 +02:00
search-data.json	Simplified search-data.json	2019-05-19 20:08:31 +02:00