diff --git a/.idea/artifacts/KotlinJpsPlugin.xml b/.idea/artifacts/KotlinJpsPlugin.xml index c29eb0c43cc..eebc908288e 100644 --- a/.idea/artifacts/KotlinJpsPlugin.xml +++ b/.idea/artifacts/KotlinJpsPlugin.xml @@ -11,7 +11,7 @@ - + diff --git a/.idea/libraries/cli_parser.xml b/.idea/libraries/cli_parser.xml index 72fd8696d80..9e3c7cbd887 100644 --- a/.idea/libraries/cli_parser.xml +++ b/.idea/libraries/cli_parser.xml @@ -1,11 +1,11 @@ - + - + \ No newline at end of file diff --git a/.idea/libraries/idea_full.xml b/.idea/libraries/idea_full.xml index ad411afda4c..5f1a14f9e7f 100644 --- a/.idea/libraries/idea_full.xml +++ b/.idea/libraries/idea_full.xml @@ -11,7 +11,6 @@ - diff --git a/build.xml b/build.xml index 3be9fb9d706..6e6af40632a 100644 --- a/build.xml +++ b/build.xml @@ -68,7 +68,7 @@ - + @@ -512,7 +512,7 @@ - + diff --git a/ultimate/.idea/libraries/idea_full.xml b/ultimate/.idea/libraries/idea_full.xml index 38b552dca00..7630555bfd6 100644 --- a/ultimate/.idea/libraries/idea_full.xml +++ b/ultimate/.idea/libraries/idea_full.xml @@ -11,7 +11,6 @@ - diff --git a/update_dependencies.xml b/update_dependencies.xml index 2557c03b4f5..94b67d794c2 100644 --- a/update_dependencies.xml +++ b/update_dependencies.xml @@ -246,7 +246,7 @@ - +