Silvio Giebl a5842c0d7b Fixed js browser incompatibility ...

(cherry picked from commit 86ff2dac05412a6ff994968c2be6122a7fcf85f9)

2019-08-15 23:41:35 +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:35 +02:00

search-data.json

Simplified search-data.json

2019-05-19 20:08:31 +02:00