diff --git a/dev-tools/idea/.idea/ant.xml b/dev-tools/idea/.idea/ant.xml index 52df3505814..172ed08624f 100644 --- a/dev-tools/idea/.idea/ant.xml +++ b/dev-tools/idea/.idea/ant.xml @@ -2,16 +2,11 @@ + - - - - - - + - - + @@ -21,20 +16,31 @@ + + + + + + + + + + + - +