From f57deed902e043f32ec329bcac8f828d2dc00c3a Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Wed, 19 Jun 2019 14:38:52 +0200 Subject: [PATCH] Add disabled plugins for PhpStorm Signed-off-by: Severin Kaderli --- system/.config/phpstorm/config/disabled_plugins.txt | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 system/.config/phpstorm/config/disabled_plugins.txt diff --git a/system/.config/phpstorm/config/disabled_plugins.txt b/system/.config/phpstorm/config/disabled_plugins.txt new file mode 100644 index 0000000..d43464f --- /dev/null +++ b/system/.config/phpstorm/config/disabled_plugins.txt @@ -0,0 +1,2 @@ +com.intellij.CloudConfig +org.jetbrains.settingsRepository