Skip to content

Don't build the JupyterLab extension by default#1233

Merged
mwouts merged 2 commits intomainfrom no_extension_by_defaultMay 5, 2024