arduino
diff --git a/‎build/arduino-builder-arm-1.3.19.tar.bz2.sha
-1 b/‎build/arduino-builder-arm-1.3.19.tar.bz2.sha
-1
diff --git a/‎build/arduino-builder-arm-1.3.20.tar.bz2.sha
+1 b/‎build/arduino-builder-arm-1.3.20.tar.bz2.sha
+1
diff --git a/‎build/arduino-builder-linux32-1.3.19.tar.bz2.sha
-1 b/‎build/arduino-builder-linux32-1.3.19.tar.bz2.sha
-1
diff --git a/‎build/arduino-builder-linux32-1.3.20.tar.bz2.sha
+1 b/‎build/arduino-builder-linux32-1.3.20.tar.bz2.sha
+1
diff --git a/‎build/arduino-builder-linux64-1.3.19.tar.bz2.sha
-1 b/‎build/arduino-builder-linux64-1.3.19.tar.bz2.sha
-1
diff --git a/‎build/arduino-builder-linux64-1.3.20.tar.bz2.sha
+1 b/‎build/arduino-builder-linux64-1.3.20.tar.bz2.sha
+1
diff --git a/‎build/arduino-builder-macosx-1.3.19.tar.bz2.sha
-1 b/‎build/arduino-builder-macosx-1.3.19.tar.bz2.sha
-1
diff --git a/‎build/arduino-builder-macosx-1.3.20.tar.bz2.sha
+1 b/‎build/arduino-builder-macosx-1.3.20.tar.bz2.sha
+1
diff --git a/‎build/arduino-builder-windows-1.3.19.zip.sha
-1 b/‎build/arduino-builder-windows-1.3.19.zip.sha
-1
diff --git a/‎build/arduino-builder-windows-1.3.20.zip.sha
+1 b/‎build/arduino-builder-windows-1.3.20.zip.sha
+1
diff --git a/‎build/build.xml
+1-1 b/‎build/build.xml
+1-1
@@ -0,0 +1 @@
+54400e4492e999bfd70339c7c42b27a543d45904
@@ -0,0 +1 @@
+76101c44be4e386434b8c48deb72c43f02bc6335
@@ -0,0 +1 @@
+199521cf9520abec32f35ef9ae619139203f4720
@@ -0,0 +1 @@
+18867a5e1a424a0bf95521b234c77a0ab71b5b42
@@ -0,0 +1 @@
+e517de9c173d6fc97d24a7d289dd56c12798c524
@@ -89,7 +89,7 @@
 
   <property name="portable" value="false" />
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.19" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.20" />
   <property name="LIBLISTSERIAL-VERSION" value="1.1.4" />
   <property name="AVRGCC-VERSION" value="4.9.2-atmel3.5.3-arduino2" />
   <property name="AVRDUDE-VERSION" value="6.3.0-arduino2" />
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+54400e4492e999bfd70339c7c42b27a543d45904`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+76101c44be4e386434b8c48deb72c43f02bc6335`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+199521cf9520abec32f35ef9ae619139203f4720`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+18867a5e1a424a0bf95521b234c77a0ab71b5b42`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+e517de9c173d6fc97d24a7d289dd56c12798c524`