From d89658ccb77d9f589aec675794e697be494083f6 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Thu, 24 Oct 2024 06:54:59 +0000 Subject: [PATCH] Include upstream settings plugin for now --- app/package.json | 1 + 1 file changed, 1 insertion(+) diff --git a/app/package.json b/app/package.json index e64523e9fe..b8c509a150 100644 --- a/app/package.json +++ b/app/package.json @@ -310,6 +310,7 @@ "@jupyterlab/filebrowser-extension:file-upload-status", "@jupyterlab/filebrowser-extension:open-with", "@jupyterlab/filebrowser-extension:search", + "@jupyterlab/filebrowser-extension:settings", "@jupyterlab/filebrowser-extension:share-file" ], "@jupyter-notebook/tree-extension": true,