1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00

Upgrade arduino-builder to 1.3.10

This commit is contained in:
Cristian Maglie 2016-01-21 15:08:31 +01:00
parent fa0d580846
commit f0bb008922
9 changed files with 5 additions and 5 deletions

View File

@ -0,0 +1 @@
26377e7ef2fb521c2321a896c3cdece0188dd630

View File

@ -1 +0,0 @@
ae057f58c80ed832466fa14e5cfc8b0a5d4d7265

View File

@ -0,0 +1 @@
c12d4444718f18d52bf12b62d2158b426212d777

View File

@ -1 +0,0 @@
f9ef348ebf308df84c68be7217531549f9b595df

View File

@ -0,0 +1 @@
c164df8696423a72fdceef75e70d73f0b9aaa8ec

View File

@ -1 +0,0 @@
5af478e2f4092bd432156221a94efb66813c9567

View File

@ -0,0 +1 @@
c52b8da5ee46c5f50d8d53781faed9834173c824

View File

@ -1 +0,0 @@
80cbc7ceed7e60d63929a323b9482b083b015728

View File

@ -73,7 +73,7 @@
<property name="portable" value="false" />
<property name="ARDUINO-BUILDER-VERSION" value="1.3.9" />
<property name="ARDUINO-BUILDER-VERSION" value="1.3.10" />
<!-- Libraries required for running arduino -->
<fileset dir=".." id="runtime.jars">