From e7762503590af2f8cefc794194c184f9764d4ce9 Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Mon, 15 Jul 2019 10:32:03 +0200 Subject: [PATCH] Update PhpStorm options Signed-off-by: Severin Kaderli --- system/.config/phpstorm/config/options/docker.xml | 5 +++++ system/.config/phpstorm/config/options/find.xml | 9 +++++++++ system/.config/phpstorm/config/options/ide.general.xml | 1 + system/.config/phpstorm/config/options/markdown.xml | 5 +++++ .../.config/phpstorm/config/options/remote-servers.xml | 10 ++++++++++ 5 files changed, 30 insertions(+) create mode 100644 system/.config/phpstorm/config/options/docker.xml create mode 100644 system/.config/phpstorm/config/options/find.xml create mode 100644 system/.config/phpstorm/config/options/markdown.xml create mode 100644 system/.config/phpstorm/config/options/remote-servers.xml diff --git a/system/.config/phpstorm/config/options/docker.xml b/system/.config/phpstorm/config/options/docker.xml new file mode 100644 index 0000000..0eb4334 --- /dev/null +++ b/system/.config/phpstorm/config/options/docker.xml @@ -0,0 +1,5 @@ + + + + \ No newline at end of file diff --git a/system/.config/phpstorm/config/options/find.xml b/system/.config/phpstorm/config/options/find.xml new file mode 100644 index 0000000..9e31a93 --- /dev/null +++ b/system/.config/phpstorm/config/options/find.xml @@ -0,0 +1,9 @@ + + + + \ No newline at end of file diff --git a/system/.config/phpstorm/config/options/ide.general.xml b/system/.config/phpstorm/config/options/ide.general.xml index a4827a0..ba14c49 100644 --- a/system/.config/phpstorm/config/options/ide.general.xml +++ b/system/.config/phpstorm/config/options/ide.general.xml @@ -1,6 +1,7 @@ \ No newline at end of file diff --git a/system/.config/phpstorm/config/options/markdown.xml b/system/.config/phpstorm/config/options/markdown.xml new file mode 100644 index 0000000..92e74be --- /dev/null +++ b/system/.config/phpstorm/config/options/markdown.xml @@ -0,0 +1,5 @@ + + + + + \ No newline at end of file diff --git a/system/.config/phpstorm/config/options/remote-servers.xml b/system/.config/phpstorm/config/options/remote-servers.xml new file mode 100644 index 0000000..1964411 --- /dev/null +++ b/system/.config/phpstorm/config/options/remote-servers.xml @@ -0,0 +1,10 @@ + + + + + + + + \ No newline at end of file