Silvio Giebl 301a4ab644 Merge branch 'improvement/navigation-merged' into improvement/search-button-merged ...

# Conflicts:
#	_layouts/default.html

2019-11-26 23:33:18 +01:00

..

vendor

Updated lunr.js, added search navigation and preview/highlighting

2019-05-19 02:55:43 +02:00

dark-mode-preview.js

Update dark-mode-preview.js

2019-09-10 11:20:26 -04:00

just-the-docs.js

Merge branch 'improvement/navigation-merged' into improvement/search-button-merged

2019-11-26 23:33:18 +01:00

search-data.json

Merge branch 'v0.2.7-release' into patch-1

2019-09-09 15:32:08 -04:00