diff --git a/build.xml b/build.xml index 00f6ead0f7..e40d62b918 100644 --- a/build.xml +++ b/build.xml @@ -1806,7 +1806,7 @@ - + diff --git a/ide/idea/workspace.xml b/ide/idea/workspace.xml index 680ad1d7bb..9661d3c094 100644 --- a/ide/idea/workspace.xml +++ b/ide/idea/workspace.xml @@ -167,7 +167,7 @@