From 080efd09f4f6ea52b5ef27f6e6c99693e9199c76 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 25 Feb 2022 16:44:42 +0100
Subject: [PATCH] Remove serverextension enable from Binder

---
 binder/postBuild | 1 -
 1 file changed, 1 deletion(-)

diff --git a/binder/postBuild b/binder/postBuild
index 64f51ec8d..be56c9a48 100644
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -4,4 +4,3 @@ set -euo pipefail
 python -m pip install -e .
 jlpm && jlpm run build
 jlpm run develop
-jupyter serverextension enable notebook
\ No newline at end of file