From 88a5a20916c2b9b1b9c50f59ee41e159ba0d5d1a Mon Sep 17 00:00:00 2001 From: Achille Mbogol Touye <achille.mbogol-touye@univ-grenoble-alpes.fr> Date: Thu, 13 Apr 2023 13:28:14 +0200 Subject: [PATCH] Update docker/notebook.json --- docker/notebook.json | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/docker/notebook.json b/docker/notebook.json index 9066bef..8b13789 100644 --- a/docker/notebook.json +++ b/docker/notebook.json @@ -1,6 +1 @@ -{ - "load_extensions": { - "execute_time/ExecuteTime": true, - "tree-filter/index": true - } -} + -- GitLab