From e27e2f1847c84ab0e06d4d6c0ad9c5e4c7b5b57e Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 13 Mar 2015 13:21:49 +0100
Subject: [PATCH] build.xml format

---
 build/build.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build/build.xml b/build/build.xml
index a3b1bb624..2e176e147 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -913,8 +913,7 @@
     </antcall>
 
     <zip destfile="windows/arduino-${version}-${platform}.zip" level="9">
-      <zipfileset dir="windows/work"
-		  prefix="arduino-${version}" />
+      <zipfileset dir="windows/work" prefix="arduino-${version}"/>
     </zip>
 
     <echo>