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