Closed jtpio closed 5 years ago
Today I learned about this cool extension thanks to @trallard!
How about adding the jupyterlab-extension topic so it would show up in https://github.com/topics/jupyterlab-extension?
jupyterlab-extension
Good idea! Done. Thanks for the tip :-)
Today I learned about this cool extension thanks to @trallard!
How about adding the
jupyterlab-extension
topic so it would show up in https://github.com/topics/jupyterlab-extension?