From 0d70f669359252cd464436f8e3ba1101abf7c983 Mon Sep 17 00:00:00 2001
From: Mario <mario.pesch@uni-muenster.de>
Date: Fri, 31 Jul 2020 12:31:34 +0200
Subject: [PATCH] remove devtools

---
 src/store.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/store.js b/src/store.js
index bd28ae1..bf6460e 100644
--- a/src/store.js
+++ b/src/store.js
@@ -11,7 +11,7 @@ const store = createStore(
   initialState,
   compose(
     applyMiddleware(...middleware),
-    window.__REDUX_DEVTOOLS_EXTENSION__ && window.__REDUX_DEVTOOLS_EXTENSION__()
+    // window.__REDUX_DEVTOOLS_EXTENSION__ && window.__REDUX_DEVTOOLS_EXTENSION__()
   )
 );