diff --git a/docker/notebook.json b/docker/notebook.json deleted file mode 100644 index 9066bef4de4d84f691471f2997c9140d59aa12d2..0000000000000000000000000000000000000000 --- a/docker/notebook.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "load_extensions": { - "execute_time/ExecuteTime": true, - "tree-filter/index": true - } -}