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 0faa88c8b6 Update to JupyterLab 4.0.0a36 (#6773) ... * Update to JupyterLab 4.0.0a36 * Update `webpack` * Refresh deps * fix yarn.lock * Update Playwright Snapshots * Update Playwright Snapshots --------- Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>		3 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 to JupyterLab 4.0.0a36 (#6773)	3 years ago
tsconfig.json	Add extension for document-scoped search	4 years ago