Silvio Giebl c7466e88a8 Merge branch 'improvement/navigation' into improvement/navigation-new ...

# Conflicts:
#	_includes/nav.html
#	_layouts/default.html

2020-06-15 21:23:03 +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 'improvement/navigation' into improvement/navigation-new

2020-06-15 21:23:03 +02:00

search-data.json

lint

2020-05-21 14:15:14 -04:00