From b6da61fae0f0351087c7b56d9aa868716e3530bd Mon Sep 17 00:00:00 2001
From: Mario Pesch <mario.pesch@uni-muenster.de>
Date: Tue, 5 Jul 2022 21:48:07 +0200
Subject: [PATCH] disable redux-devtools

---
 src/store.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/store.js b/src/store.js
index 3203857..4fedfbb 100644
--- a/src/store.js
+++ b/src/store.js
@@ -10,8 +10,8 @@ const store = createStore(
   rootReducer,
   initialState,
   compose(
-    applyMiddleware(...middleware),
-    window.__REDUX_DEVTOOLS_EXTENSION__ && window.__REDUX_DEVTOOLS_EXTENSION__()
+    applyMiddleware(...middleware)
+    // window.__REDUX_DEVTOOLS_EXTENSION__ && window.__REDUX_DEVTOOLS_EXTENSION__()
   )
 );