Skip to content

Update docs-search to the latest version, simplify including it in the build#775

Merged
f-f merged 3 commits intomasterfrom update-docs-searchApr 19, 2021