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 9c6cdf6f8a Update to newer `@jupyterlab` packages		5 years ago
..
src	Move the new console button to a separate plugin	5 years ago
style	CSS fixes	5 years ago
package.json	Update to newer `@jupyterlab` packages	5 years ago
tsconfig.json	Move to tree-extension	5 years ago