diff --git a/dev-tools/idea/.idea/ant.xml b/dev-tools/idea/.idea/ant.xml index d17769979f6..b9cbeb51c7b 100644 --- a/dev-tools/idea/.idea/ant.xml +++ b/dev-tools/idea/.idea/ant.xml @@ -7,10 +7,8 @@ - - + - @@ -22,6 +20,8 @@ + +