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 6a4f6e2d81 Update to `@jupyterlab` 3.2.6 packages		4 years ago
..
src	Switch back to shortcut override plugin	4 years ago
style	Add extension for document-scoped search	4 years ago
package.json	Update to `@jupyterlab` 3.2.6 packages	4 years ago
tsconfig.json	Add extension for document-scoped search	4 years ago