Closed jasongrout closed 8 years ago
This is similar to https://github.com/jupyter/jupyter-js-plugins/pull/172
This is similar to https://github.com/jupyter/jupyter-js-plugins/pull/172