@jupyter-widgets/jupyterlab-manager@0.37.2
bd85bb4e
·
Merge pull request #2178 from blink1073/jupyterlab-manager-bump
·
Aug 18, 2018