severinkaderli/dotfiles
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add disabled plugins for PhpStorm

Browse source 
Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-06-19 14:38:52 +02:00
parent 93c71567ff
commit f57deed902
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
system/.config/phpstorm/config/disabled_plugins.txt Normal file
View file

@ -0,0 +1,2 @@
com.intellij.CloudConfig
org.jetbrains.settingsRepository