From d72c7be8a3e4917edb953c4f8dfb116a1a1e133e Mon Sep 17 00:00:00 2001
From: Achille Mbogol Touye <achille.mbogol-touye@univ-grenoble-alpes.fr>
Date: Thu, 13 Apr 2023 13:27:30 +0200
Subject: [PATCH] Deleted docker/notebook.json
---
docker/notebook.json | 6 ------
1 file changed, 6 deletions(-)
delete mode 100644 docker/notebook.json
diff --git a/docker/notebook.json b/docker/notebook.json
deleted file mode 100644
index 9066bef..0000000
--- a/docker/notebook.json
+++ /dev/null
@@ -1,6 +0,0 @@
-{
- "load_extensions": {
- "execute_time/ExecuteTime": true,
- "tree-filter/index": true
- }
-}
--
GitLab