Add a search box to the header
Opened this issue · 1 comments
doug-wade commented
I think probably minisearch.js is our best bet: https://www.npmjs.com/package/minisearch
doug-wade commented
Opened this issue · 1 comments
I think probably minisearch.js is our best bet: https://www.npmjs.com/package/minisearch