Update PhpStorm settings

Signed-off-by: Severin Kaderli <severin@kaderli.dev>
This commit is contained in:
Severin Kaderli 2019-07-30 11:43:43 +02:00
parent 33aaca49ba
commit 6c1553891e
Signed by: severinkaderli
GPG key ID: F419F8835B72F0C4
4 changed files with 11 additions and 2 deletions

2
.gitignore vendored
View file

@ -48,3 +48,5 @@ system/.config/phpstorm/config/terminal/history/history-
system/.config/phpstorm/config/options/runner.layout.xml
system/.config/phpstorm/config/options/extensionsRootType.xml
system/.config/phpstorm/config/options/databaseDrivers.xml
system/.config/phpstorm/config/terminal/history/history-1
system/.config/phpstorm/config/user.web.token