You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jeremy Tuloup 0d4c160564 Update to JupyterLab 4.0.0a30		4 years ago
..
schema	Switch to create new dropdown	4 years ago
src	Code refctoring	4 years ago
style	Adds a token on the notebook tree widget, in order to easily add widgets in it from external extension	4 years ago
package.json	Update to JupyterLab 4.0.0a30	4 years ago
tsconfig.json	Move to tree-extension	5 years ago