From c519e33a256fff34a397d4df3c54b26ca12f2140 Mon Sep 17 00:00:00 2001 From: Alexander Udalov Date: Mon, 6 Nov 2017 16:12:29 +0100 Subject: [PATCH] Remove ultimate/.idea kotlin-ultimate is no longer used as a separate project since it's merged into the main Gradle project --- ultimate/.idea/.name | 1 - ultimate/.idea/ant.xml | 8 - ultimate/.idea/artifacts/Dummy.xml | 8 - ultimate/.idea/codeInsightSettings.xml | 8 - ultimate/.idea/codeStyleSettings.xml | 290 ------------ ultimate/.idea/compiler.xml | 26 -- ultimate/.idea/copyright/apache.xml | 9 - .../.idea/copyright/profiles_settings.xml | 21 - .../.idea/dictionaries/Alexey_Sedunov.xml | 9 - .../.idea/dictionaries/Nikolay_Krasko.xml | 24 - ultimate/.idea/dictionaries/abreslav.xml | 22 - ultimate/.idea/dictionaries/bashor.xml | 10 - ultimate/.idea/dictionaries/dzharkov.xml | 8 - ultimate/.idea/dictionaries/geevee.xml | 13 - ultimate/.idea/dictionaries/max.xml | 9 - ultimate/.idea/dictionaries/valentin.xml | 25 - ultimate/.idea/encodings.xml | 6 - .../inspectionProfiles/Project_Default.xml | 6 - .../.idea/inspectionProfiles/idea_default.xml | 426 ------------------ .../inspectionProfiles/profiles_settings.xml | 7 - ultimate/.idea/kotlinc.xml | 13 - ultimate/.idea/libraries/css_support.xml | 12 - ultimate/.idea/libraries/database_support.xml | 12 - ultimate/.idea/libraries/diagram_support.xml | 10 - .../libraries/gradle_and_groovy_plugin.xml | 19 - ultimate/.idea/libraries/idea_full.xml | 18 - ultimate/.idea/libraries/intellij_core.xml | 18 - ultimate/.idea/libraries/java_i18n.xml | 14 - ultimate/.idea/libraries/javaee_support.xml | 12 - .../.idea/libraries/javascript_debugger.xml | 10 - .../.idea/libraries/javascript_support.xml | 10 - ultimate/.idea/libraries/javaslang.xml | 9 - ultimate/.idea/libraries/javax_inject.xml | 11 - ultimate/.idea/libraries/jsp_support.xml | 9 - ultimate/.idea/libraries/junit_plugin.xml | 15 - ultimate/.idea/libraries/kotlin_reflect.xml | 9 - ultimate/.idea/libraries/kotlin_runtime.xml | 13 - .../.idea/libraries/kotlin_script_runtime.xml | 9 - .../libraries/kotlinx_coroutines_core.xml | 11 - .../libraries/main_project_production.xml | 116 ----- .../.idea/libraries/main_project_tests.xml | 21 - ultimate/.idea/libraries/nodejs_support.xml | 10 - .../.idea/libraries/persistence_support.xml | 12 - ultimate/.idea/libraries/properties.xml | 15 - ultimate/.idea/libraries/protobuf.xml | 11 - ultimate/.idea/libraries/spring_support.xml | 12 - ultimate/.idea/misc.xml | 64 --- ultimate/.idea/modules.xml | 8 - ultimate/.idea/projectCodeStyle.xml | 171 ------- .../runConfigurations/Generate_Tests.xml | 31 -- ultimate/.idea/runConfigurations/IDEA.xml | 47 -- .../IDEA__No_ProcessCanceledException_.xml | 28 -- .../Ultimate_Plugin_Tests.xml | 39 -- ultimate/.idea/scopes/scope_settings.xml | 5 - ultimate/.idea/uiDesigner.xml | 136 ------ ultimate/.idea/vcs.xml | 21 - 56 files changed, 1917 deletions(-) delete mode 100644 ultimate/.idea/.name delete mode 100644 ultimate/.idea/ant.xml delete mode 100644 ultimate/.idea/artifacts/Dummy.xml delete mode 100644 ultimate/.idea/codeInsightSettings.xml delete mode 100644 ultimate/.idea/codeStyleSettings.xml delete mode 100644 ultimate/.idea/compiler.xml delete mode 100644 ultimate/.idea/copyright/apache.xml delete mode 100644 ultimate/.idea/copyright/profiles_settings.xml delete mode 100644 ultimate/.idea/dictionaries/Alexey_Sedunov.xml delete mode 100644 ultimate/.idea/dictionaries/Nikolay_Krasko.xml delete mode 100644 ultimate/.idea/dictionaries/abreslav.xml delete mode 100644 ultimate/.idea/dictionaries/bashor.xml delete mode 100644 ultimate/.idea/dictionaries/dzharkov.xml delete mode 100644 ultimate/.idea/dictionaries/geevee.xml delete mode 100644 ultimate/.idea/dictionaries/max.xml delete mode 100644 ultimate/.idea/dictionaries/valentin.xml delete mode 100644 ultimate/.idea/encodings.xml delete mode 100644 ultimate/.idea/inspectionProfiles/Project_Default.xml delete mode 100644 ultimate/.idea/inspectionProfiles/idea_default.xml delete mode 100644 ultimate/.idea/inspectionProfiles/profiles_settings.xml delete mode 100644 ultimate/.idea/kotlinc.xml delete mode 100644 ultimate/.idea/libraries/css_support.xml delete mode 100644 ultimate/.idea/libraries/database_support.xml delete mode 100644 ultimate/.idea/libraries/diagram_support.xml delete mode 100644 ultimate/.idea/libraries/gradle_and_groovy_plugin.xml delete mode 100644 ultimate/.idea/libraries/idea_full.xml delete mode 100644 ultimate/.idea/libraries/intellij_core.xml delete mode 100644 ultimate/.idea/libraries/java_i18n.xml delete mode 100644 ultimate/.idea/libraries/javaee_support.xml delete mode 100644 ultimate/.idea/libraries/javascript_debugger.xml delete mode 100644 ultimate/.idea/libraries/javascript_support.xml delete mode 100644 ultimate/.idea/libraries/javaslang.xml delete mode 100644 ultimate/.idea/libraries/javax_inject.xml delete mode 100644 ultimate/.idea/libraries/jsp_support.xml delete mode 100644 ultimate/.idea/libraries/junit_plugin.xml delete mode 100644 ultimate/.idea/libraries/kotlin_reflect.xml delete mode 100644 ultimate/.idea/libraries/kotlin_runtime.xml delete mode 100644 ultimate/.idea/libraries/kotlin_script_runtime.xml delete mode 100644 ultimate/.idea/libraries/kotlinx_coroutines_core.xml delete mode 100644 ultimate/.idea/libraries/main_project_production.xml delete mode 100644 ultimate/.idea/libraries/main_project_tests.xml delete mode 100644 ultimate/.idea/libraries/nodejs_support.xml delete mode 100644 ultimate/.idea/libraries/persistence_support.xml delete mode 100644 ultimate/.idea/libraries/properties.xml delete mode 100644 ultimate/.idea/libraries/protobuf.xml delete mode 100644 ultimate/.idea/libraries/spring_support.xml delete mode 100644 ultimate/.idea/misc.xml delete mode 100644 ultimate/.idea/modules.xml delete mode 100644 ultimate/.idea/projectCodeStyle.xml delete mode 100644 ultimate/.idea/runConfigurations/Generate_Tests.xml delete mode 100644 ultimate/.idea/runConfigurations/IDEA.xml delete mode 100644 ultimate/.idea/runConfigurations/IDEA__No_ProcessCanceledException_.xml delete mode 100644 ultimate/.idea/runConfigurations/Ultimate_Plugin_Tests.xml delete mode 100644 ultimate/.idea/scopes/scope_settings.xml delete mode 100644 ultimate/.idea/uiDesigner.xml delete mode 100644 ultimate/.idea/vcs.xml diff --git a/ultimate/.idea/.name b/ultimate/.idea/.name deleted file mode 100644 index 45a157fd34d..00000000000 --- a/ultimate/.idea/.name +++ /dev/null @@ -1 +0,0 @@ -kotlin-ultimate \ No newline at end of file diff --git a/ultimate/.idea/ant.xml b/ultimate/.idea/ant.xml deleted file mode 100644 index 9b72ed2e713..00000000000 --- a/ultimate/.idea/ant.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/artifacts/Dummy.xml b/ultimate/.idea/artifacts/Dummy.xml deleted file mode 100644 index b7badbb7f8f..00000000000 --- a/ultimate/.idea/artifacts/Dummy.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - $PROJECT_DIR$/out/artifacts/Dummy - - - - - \ No newline at end of file diff --git a/ultimate/.idea/codeInsightSettings.xml b/ultimate/.idea/codeInsightSettings.xml deleted file mode 100644 index 37f806f2e3e..00000000000 --- a/ultimate/.idea/codeInsightSettings.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - kotlin.reflect.jvm.internal.impl - - - \ No newline at end of file diff --git a/ultimate/.idea/codeStyleSettings.xml b/ultimate/.idea/codeStyleSettings.xml deleted file mode 100644 index 25816a9d883..00000000000 --- a/ultimate/.idea/codeStyleSettings.xml +++ /dev/null @@ -1,290 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/compiler.xml b/ultimate/.idea/compiler.xml deleted file mode 100644 index a105e8629e8..00000000000 --- a/ultimate/.idea/compiler.xml +++ /dev/null @@ -1,26 +0,0 @@ - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/copyright/apache.xml b/ultimate/.idea/copyright/apache.xml deleted file mode 100644 index 9b100320269..00000000000 --- a/ultimate/.idea/copyright/apache.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - \ No newline at end of file diff --git a/ultimate/.idea/copyright/profiles_settings.xml b/ultimate/.idea/copyright/profiles_settings.xml deleted file mode 100644 index 5fbc0e59e10..00000000000 --- a/ultimate/.idea/copyright/profiles_settings.xml +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/Alexey_Sedunov.xml b/ultimate/.idea/dictionaries/Alexey_Sedunov.xml deleted file mode 100644 index ccf943a2bac..00000000000 --- a/ultimate/.idea/dictionaries/Alexey_Sedunov.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - autowired - autowiring - springframework - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/Nikolay_Krasko.xml b/ultimate/.idea/dictionaries/Nikolay_Krasko.xml deleted file mode 100644 index 2995eb1ba67..00000000000 --- a/ultimate/.idea/dictionaries/Nikolay_Krasko.xml +++ /dev/null @@ -1,24 +0,0 @@ - - - - accessors - fqname - goto - gradle - intrinsics - kdoc - kompiler - memoize - memoized - multiline - preload - preloader - preloading - preprocess - redeclarations - subclassed - subgraph - substep - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/abreslav.xml b/ultimate/.idea/dictionaries/abreslav.xml deleted file mode 100644 index 9035118b0b9..00000000000 --- a/ultimate/.idea/dictionaries/abreslav.xml +++ /dev/null @@ -1,22 +0,0 @@ - - - - accessor - covariantly - deserialized - dominator - inferrer - iterable - nondeterministic - nullable - overridable - pseudocode - substitutor - subtyping - supertype - supertypes - tuple - unary - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/bashor.xml b/ultimate/.idea/dictionaries/bashor.xml deleted file mode 100644 index fa362eaa919..00000000000 --- a/ultimate/.idea/dictionaries/bashor.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - ctor - interner - lookups - unescape - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/dzharkov.xml b/ultimate/.idea/dictionaries/dzharkov.xml deleted file mode 100644 index 2e8cb56c4fb..00000000000 --- a/ultimate/.idea/dictionaries/dzharkov.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - checkcast - insn - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/geevee.xml b/ultimate/.idea/dictionaries/geevee.xml deleted file mode 100644 index c83493eb226..00000000000 --- a/ultimate/.idea/dictionaries/geevee.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - builtins - callables - klass - proto - protoc - protos - ubuntu - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/max.xml b/ultimate/.idea/dictionaries/max.xml deleted file mode 100644 index 064d7e3b1c4..00000000000 --- a/ultimate/.idea/dictionaries/max.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - classfiles - codegen - kotlin - - - \ No newline at end of file diff --git a/ultimate/.idea/dictionaries/valentin.xml b/ultimate/.idea/dictionaries/valentin.xml deleted file mode 100644 index b033708428b..00000000000 --- a/ultimate/.idea/dictionaries/valentin.xml +++ /dev/null @@ -1,25 +0,0 @@ - - - - decapitalize - delegator - funs - immediates - initializers - inserter - negatable - pparent - precheck - prioritizer - processings - rbrace - rbracket - renderers - rparenth - selectioner - summand - unpluralize - weighers - - - \ No newline at end of file diff --git a/ultimate/.idea/encodings.xml b/ultimate/.idea/encodings.xml deleted file mode 100644 index f758959656c..00000000000 --- a/ultimate/.idea/encodings.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/inspectionProfiles/Project_Default.xml b/ultimate/.idea/inspectionProfiles/Project_Default.xml deleted file mode 100644 index 9dda5b6278e..00000000000 --- a/ultimate/.idea/inspectionProfiles/Project_Default.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - - \ No newline at end of file diff --git a/ultimate/.idea/inspectionProfiles/idea_default.xml b/ultimate/.idea/inspectionProfiles/idea_default.xml deleted file mode 100644 index ca6e2ba2d81..00000000000 --- a/ultimate/.idea/inspectionProfiles/idea_default.xml +++ /dev/null @@ -1,426 +0,0 @@ - - - - \ No newline at end of file diff --git a/ultimate/.idea/inspectionProfiles/profiles_settings.xml b/ultimate/.idea/inspectionProfiles/profiles_settings.xml deleted file mode 100644 index 78f1346b901..00000000000 --- a/ultimate/.idea/inspectionProfiles/profiles_settings.xml +++ /dev/null @@ -1,7 +0,0 @@ - - - - \ No newline at end of file diff --git a/ultimate/.idea/kotlinc.xml b/ultimate/.idea/kotlinc.xml deleted file mode 100644 index e90b1ddc105..00000000000 --- a/ultimate/.idea/kotlinc.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/css_support.xml b/ultimate/.idea/libraries/css_support.xml deleted file mode 100644 index 5d4e0452217..00000000000 --- a/ultimate/.idea/libraries/css_support.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/database_support.xml b/ultimate/.idea/libraries/database_support.xml deleted file mode 100644 index 529dc8bfa45..00000000000 --- a/ultimate/.idea/libraries/database_support.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/diagram_support.xml b/ultimate/.idea/libraries/diagram_support.xml deleted file mode 100644 index c7a278bcafe..00000000000 --- a/ultimate/.idea/libraries/diagram_support.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/gradle_and_groovy_plugin.xml b/ultimate/.idea/libraries/gradle_and_groovy_plugin.xml deleted file mode 100644 index d5c6cf7816a..00000000000 --- a/ultimate/.idea/libraries/gradle_and_groovy_plugin.xml +++ /dev/null @@ -1,19 +0,0 @@ - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/idea_full.xml b/ultimate/.idea/libraries/idea_full.xml deleted file mode 100644 index 1e3fef0437b..00000000000 --- a/ultimate/.idea/libraries/idea_full.xml +++ /dev/null @@ -1,18 +0,0 @@ - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/intellij_core.xml b/ultimate/.idea/libraries/intellij_core.xml deleted file mode 100644 index 4459da1659f..00000000000 --- a/ultimate/.idea/libraries/intellij_core.xml +++ /dev/null @@ -1,18 +0,0 @@ - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/java_i18n.xml b/ultimate/.idea/libraries/java_i18n.xml deleted file mode 100644 index 4917d9c5249..00000000000 --- a/ultimate/.idea/libraries/java_i18n.xml +++ /dev/null @@ -1,14 +0,0 @@ - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/javaee_support.xml b/ultimate/.idea/libraries/javaee_support.xml deleted file mode 100644 index f917dfbe076..00000000000 --- a/ultimate/.idea/libraries/javaee_support.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/javascript_debugger.xml b/ultimate/.idea/libraries/javascript_debugger.xml deleted file mode 100644 index 8cde9c5d650..00000000000 --- a/ultimate/.idea/libraries/javascript_debugger.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/javascript_support.xml b/ultimate/.idea/libraries/javascript_support.xml deleted file mode 100644 index 42d04992324..00000000000 --- a/ultimate/.idea/libraries/javascript_support.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/javaslang.xml b/ultimate/.idea/libraries/javaslang.xml deleted file mode 100644 index 74f4c4a4fb0..00000000000 --- a/ultimate/.idea/libraries/javaslang.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/javax_inject.xml b/ultimate/.idea/libraries/javax_inject.xml deleted file mode 100644 index dd28241051c..00000000000 --- a/ultimate/.idea/libraries/javax_inject.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/jsp_support.xml b/ultimate/.idea/libraries/jsp_support.xml deleted file mode 100644 index be072c3e9c9..00000000000 --- a/ultimate/.idea/libraries/jsp_support.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/junit_plugin.xml b/ultimate/.idea/libraries/junit_plugin.xml deleted file mode 100644 index 8a6fddf51da..00000000000 --- a/ultimate/.idea/libraries/junit_plugin.xml +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/kotlin_reflect.xml b/ultimate/.idea/libraries/kotlin_reflect.xml deleted file mode 100644 index 4e375061276..00000000000 --- a/ultimate/.idea/libraries/kotlin_reflect.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/kotlin_runtime.xml b/ultimate/.idea/libraries/kotlin_runtime.xml deleted file mode 100644 index 266d4c90c1e..00000000000 --- a/ultimate/.idea/libraries/kotlin_runtime.xml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/kotlin_script_runtime.xml b/ultimate/.idea/libraries/kotlin_script_runtime.xml deleted file mode 100644 index ed74f6a8c45..00000000000 --- a/ultimate/.idea/libraries/kotlin_script_runtime.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/kotlinx_coroutines_core.xml b/ultimate/.idea/libraries/kotlinx_coroutines_core.xml deleted file mode 100644 index 46f11e6af44..00000000000 --- a/ultimate/.idea/libraries/kotlinx_coroutines_core.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/main_project_production.xml b/ultimate/.idea/libraries/main_project_production.xml deleted file mode 100644 index 0ace6040325..00000000000 --- a/ultimate/.idea/libraries/main_project_production.xml +++ /dev/null @@ -1,116 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/main_project_tests.xml b/ultimate/.idea/libraries/main_project_tests.xml deleted file mode 100644 index e3938da51a4..00000000000 --- a/ultimate/.idea/libraries/main_project_tests.xml +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/nodejs_support.xml b/ultimate/.idea/libraries/nodejs_support.xml deleted file mode 100644 index 9ffe5f21fba..00000000000 --- a/ultimate/.idea/libraries/nodejs_support.xml +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/persistence_support.xml b/ultimate/.idea/libraries/persistence_support.xml deleted file mode 100644 index c167d56b396..00000000000 --- a/ultimate/.idea/libraries/persistence_support.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/properties.xml b/ultimate/.idea/libraries/properties.xml deleted file mode 100644 index c0d02cfa0e6..00000000000 --- a/ultimate/.idea/libraries/properties.xml +++ /dev/null @@ -1,15 +0,0 @@ - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/protobuf.xml b/ultimate/.idea/libraries/protobuf.xml deleted file mode 100644 index 5db382af297..00000000000 --- a/ultimate/.idea/libraries/protobuf.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/libraries/spring_support.xml b/ultimate/.idea/libraries/spring_support.xml deleted file mode 100644 index 12450b5ff8f..00000000000 --- a/ultimate/.idea/libraries/spring_support.xml +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/misc.xml b/ultimate/.idea/misc.xml deleted file mode 100644 index 9181bc9c69c..00000000000 --- a/ultimate/.idea/misc.xml +++ /dev/null @@ -1,64 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - http://www.w3.org/1999/xhtml - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/modules.xml b/ultimate/.idea/modules.xml deleted file mode 100644 index 4cf4939de41..00000000000 --- a/ultimate/.idea/modules.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/projectCodeStyle.xml b/ultimate/.idea/projectCodeStyle.xml deleted file mode 100644 index 25b91e81484..00000000000 --- a/ultimate/.idea/projectCodeStyle.xml +++ /dev/null @@ -1,171 +0,0 @@ - - - - - - - diff --git a/ultimate/.idea/runConfigurations/Generate_Tests.xml b/ultimate/.idea/runConfigurations/Generate_Tests.xml deleted file mode 100644 index 08653927ea2..00000000000 --- a/ultimate/.idea/runConfigurations/Generate_Tests.xml +++ /dev/null @@ -1,31 +0,0 @@ - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/runConfigurations/IDEA.xml b/ultimate/.idea/runConfigurations/IDEA.xml deleted file mode 100644 index 139f507fa9a..00000000000 --- a/ultimate/.idea/runConfigurations/IDEA.xml +++ /dev/null @@ -1,47 +0,0 @@ - - - - - \ No newline at end of file diff --git a/ultimate/.idea/runConfigurations/IDEA__No_ProcessCanceledException_.xml b/ultimate/.idea/runConfigurations/IDEA__No_ProcessCanceledException_.xml deleted file mode 100644 index 1ce75871f12..00000000000 --- a/ultimate/.idea/runConfigurations/IDEA__No_ProcessCanceledException_.xml +++ /dev/null @@ -1,28 +0,0 @@ - - - - - \ No newline at end of file diff --git a/ultimate/.idea/runConfigurations/Ultimate_Plugin_Tests.xml b/ultimate/.idea/runConfigurations/Ultimate_Plugin_Tests.xml deleted file mode 100644 index fb112f77b65..00000000000 --- a/ultimate/.idea/runConfigurations/Ultimate_Plugin_Tests.xml +++ /dev/null @@ -1,39 +0,0 @@ - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/ultimate/.idea/scopes/scope_settings.xml b/ultimate/.idea/scopes/scope_settings.xml deleted file mode 100644 index 922003b8433..00000000000 --- a/ultimate/.idea/scopes/scope_settings.xml +++ /dev/null @@ -1,5 +0,0 @@ - - - - \ No newline at end of file diff --git a/ultimate/.idea/uiDesigner.xml b/ultimate/.idea/uiDesigner.xml deleted file mode 100644 index b9cf899ced5..00000000000 --- a/ultimate/.idea/uiDesigner.xml +++ /dev/null @@ -1,136 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/ultimate/.idea/vcs.xml b/ultimate/.idea/vcs.xml deleted file mode 100644 index cb0c670e825..00000000000 --- a/ultimate/.idea/vcs.xml +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - -