diff --git a/docker/notebook.json b/docker/notebook.json index 9066bef4de4d84f691471f2997c9140d59aa12d2..8b137891791fe96927ad78e64b0aad7bded08bdc 100644 --- a/docker/notebook.json +++ b/docker/notebook.json @@ -1,6 +1 @@ -{ - "load_extensions": { - "execute_time/ExecuteTime": true, - "tree-filter/index": true - } -} +