From 920df0eb963975bed10add35efeae4e1fa6dfd55 Mon Sep 17 00:00:00 2001
From: Severin Kaderli <severin@kaderli.dev>
Date: Wed, 19 Jun 2019 14:04:54 +0200
Subject: [PATCH] Update general PhpStorm settings

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
---
 system/.config/phpstorm/config/options/ide.general.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/system/.config/phpstorm/config/options/ide.general.xml b/system/.config/phpstorm/config/options/ide.general.xml
index cf8a656..a4827a0 100644
--- a/system/.config/phpstorm/config/options/ide.general.xml
+++ b/system/.config/phpstorm/config/options/ide.general.xml
@@ -1,5 +1,6 @@
 <application>
   <component name="GeneralSettings">
+    <option name="confirmExit" value="false" />
     <option name="showTipsOnStartup" value="false" />
   </component>
 </application>
\ No newline at end of file