From 57cdca9cf7dd3fdbbc4c131a86f604c81e5dfcd6 Mon Sep 17 00:00:00 2001 From: Mats Larsen Date: Sat, 7 Dec 2024 00:11:59 +0900 Subject: [PATCH] Winter cleaning for the intellij config --- .idea/.gitignore | 7 ++++++- .idea/codeStyleSettings.xml | 20 ------------------ .idea/compiler-explorer.iml | 4 +++- .idea/encodings.xml | 6 ------ .idea/inspectionProfiles/Project_Default.xml | 22 -------------------- .idea/jsDialects.xml | 6 ------ .idea/misc.xml | 6 ------ .idea/modules.xml | 8 ------- .idea/scopes/scope_settings.xml | 5 ----- .idea/vcs.xml | 6 ------ .idea/watcherTasks.xml | 4 ---- 11 files changed, 9 insertions(+), 85 deletions(-) delete mode 100644 .idea/codeStyleSettings.xml delete mode 100644 .idea/encodings.xml delete mode 100644 .idea/inspectionProfiles/Project_Default.xml delete mode 100644 .idea/jsDialects.xml delete mode 100644 .idea/misc.xml delete mode 100644 .idea/modules.xml delete mode 100644 .idea/scopes/scope_settings.xml delete mode 100644 .idea/vcs.xml delete mode 100644 .idea/watcherTasks.xml diff --git a/.idea/.gitignore b/.idea/.gitignore index cd84fb3c7..6a233035f 100644 --- a/.idea/.gitignore +++ b/.idea/.gitignore @@ -1,4 +1,9 @@ -/.name /workspace.xml +/vcs.xml +/modules.xml + +/scopes/scope_settings.xml + /xtextAutoBuilderState.xml + /*.local.* diff --git a/.idea/codeStyleSettings.xml b/.idea/codeStyleSettings.xml deleted file mode 100644 index b1e18dfb1..000000000 --- a/.idea/codeStyleSettings.xml +++ /dev/null @@ -1,20 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/.idea/compiler-explorer.iml b/.idea/compiler-explorer.iml index 470a61e4c..9133ffa91 100644 --- a/.idea/compiler-explorer.iml +++ b/.idea/compiler-explorer.iml @@ -10,8 +10,10 @@ + + - \ No newline at end of file + diff --git a/.idea/encodings.xml b/.idea/encodings.xml deleted file mode 100644 index f75895965..000000000 --- a/.idea/encodings.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml deleted file mode 100644 index 7c1a83e41..000000000 --- a/.idea/inspectionProfiles/Project_Default.xml +++ /dev/null @@ -1,22 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/jsDialects.xml b/.idea/jsDialects.xml deleted file mode 100644 index 4d49a0113..000000000 --- a/.idea/jsDialects.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - diff --git a/.idea/misc.xml b/.idea/misc.xml deleted file mode 100644 index 4fd1763bd..000000000 --- a/.idea/misc.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - \ No newline at end of file diff --git a/.idea/modules.xml b/.idea/modules.xml deleted file mode 100644 index f37a365cd..000000000 --- a/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - diff --git a/.idea/scopes/scope_settings.xml b/.idea/scopes/scope_settings.xml deleted file mode 100644 index 922003b84..000000000 --- a/.idea/scopes/scope_settings.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - \ No newline at end of file diff --git a/.idea/vcs.xml b/.idea/vcs.xml deleted file mode 100644 index 94a25f7f4..000000000 --- a/.idea/vcs.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/.idea/watcherTasks.xml b/.idea/watcherTasks.xml deleted file mode 100644 index 0ad30c1ef..000000000 --- a/.idea/watcherTasks.xml +++ /dev/null @@ -1,4 +0,0 @@ - - - - \ No newline at end of file