From 4abc6b500810d391e8376c47a29d344df671eb5b 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:02 +0200 Subject: [PATCH] Update docker/notebook.json --- docker/notebook.json | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 docker/notebook.json diff --git a/docker/notebook.json b/docker/notebook.json new file mode 100644 index 0000000..9066bef --- /dev/null +++ b/docker/notebook.json @@ -0,0 +1,6 @@ +{ + "load_extensions": { + "execute_time/ExecuteTime": true, + "tree-filter/index": true + } +} -- GitLab