@jupyterlab/documentsearch-extension@4.0.0-beta.2
default avatar
jtpio@users.noreply.github.com
ea5d2497 · [ci skip] New version · 
@jupyterlab/documentsearch-extension@4.0.0-beta.2