From 52928ce2fccd2c3e8577b2320ffc13e79071e003 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Mon, 12 Apr 2021 00:18:00 +0200 Subject: [PATCH] Remove documentsearch package --- app/package.json | 2 -- 1 file changed, 2 deletions(-) diff --git a/app/package.json b/app/package.json index 59236ec5f..220ad77bd 100644 --- a/app/package.json +++ b/app/package.json @@ -38,7 +38,6 @@ "@jupyterlab/coreutils": "~5.0.3", "@jupyterlab/docmanager": "~3.0.7", "@jupyterlab/docmanager-extension": "~3.0.7", - "@jupyterlab/documentsearch": "~3.0.8", "@jupyterlab/filebrowser": "~3.0.7", "@jupyterlab/fileeditor": "~3.0.7", "@jupyterlab/fileeditor-extension": "~3.0.7", @@ -168,7 +167,6 @@ "@jupyterlab/console", "@jupyterlab/coreutils", "@jupyterlab/docmanager", - "@jupyterlab/documentsearch", "@jupyterlab/filebrowser", "@jupyterlab/fileeditor", "@jupyterlab/mainmenu",