From 4420edfed8670e341bbd5b9830847598ab1f9c51 Mon Sep 17 00:00:00 2001
From: Umberto Russo <ulver2812@gmail.com>
Date: Tue, 26 Feb 2019 10:17:03 +0100
Subject: [PATCH] Removed chrome dev tools

---
 main.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.ts b/main.ts
index 49e34e0..585c0c5 100644
--- a/main.ts
+++ b/main.ts
@@ -54,7 +54,7 @@ function createWindow() {
     }));
   }
 
-  win.webContents.openDevTools();
+  // win.webContents.openDevTools();
 
   // Emitted when the window is closed.
   win.on('closed', () => {