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 f19a65a14c Update `@jupyterlab` and `@lumino` packages		4 years ago
..
schema	Move menu items to the settings	4 years ago
src	Fix search provider	4 years ago
style	Add extension for document-scoped search	4 years ago
package.json	Update `@jupyterlab` and `@lumino` packages	4 years ago
tsconfig.json	Add extension for document-scoped search	4 years ago