diff --git a/tools/build.xml b/tools/build.xml index 1d54e970dd..d1de7ae080 100644 --- a/tools/build.xml +++ b/tools/build.xml @@ -229,9 +229,6 @@ - - - @@ -374,9 +371,6 @@ - - -