diff --git a/dev-tools/idea/.idea/libraries/Ant.xml b/dev-tools/idea/.idea/libraries/Ant.xml deleted file mode 100644 index 57497843866..00000000000 --- a/dev-tools/idea/.idea/libraries/Ant.xml +++ /dev/null @@ -1,9 +0,0 @@ - - - - - - - - -