From 32e07bbfb0cc502f7767a61a165f47733c32e51b Mon Sep 17 00:00:00 2001 From: Severin Kaderli Date: Fri, 2 Aug 2019 11:23:14 +0200 Subject: [PATCH] Update PhpStorm configuration Signed-off-by: Severin Kaderli --- .../phpstorm/config/options/filetypes.xml | 17 ++ .../phpstorm/config/options/textmate_os.xml | 176 ++++++++++++++++++ 2 files changed, 193 insertions(+) create mode 100644 system/.config/phpstorm/config/options/filetypes.xml create mode 100644 system/.config/phpstorm/config/options/textmate_os.xml diff --git a/system/.config/phpstorm/config/options/filetypes.xml b/system/.config/phpstorm/config/options/filetypes.xml new file mode 100644 index 0000000..45f1bd4 --- /dev/null +++ b/system/.config/phpstorm/config/options/filetypes.xml @@ -0,0 +1,17 @@ + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/system/.config/phpstorm/config/options/textmate_os.xml b/system/.config/phpstorm/config/options/textmate_os.xml new file mode 100644 index 0000000..69d92c4 --- /dev/null +++ b/system/.config/phpstorm/config/options/textmate_os.xml @@ -0,0 +1,176 @@ + + + + + \ No newline at end of file