diff --git a/build.xml b/build.xml index 06638f6974..8df738ced2 100644 --- a/build.xml +++ b/build.xml @@ -134,13 +134,11 @@