1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00

Updating arduino-builder to 1.3.1

This commit is contained in:
Federico Fissore 2015-11-30 11:27:08 +01:00
parent 463046d691
commit c5824fd586
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
9a9226e6bc21daff9540553e731d287c95f3c7e3

View File

@ -0,0 +1 @@
1835ef0cdbb07ca5cba0cd1b67436c2367c24c51

View File

@ -1 +0,0 @@
ace8392424b64f962276d500f2fa9f10033882fa

View File

@ -0,0 +1 @@
bda596f776ceb3e7e2f90ce0741d0e50677e5c59

View File

@ -1 +0,0 @@
e113dc96051d3d193143e13196ac4d25567e3f20

View File

@ -0,0 +1 @@
c7fb46edddd348bf29c926c6e3465c5b77a62978

View File

@ -1 +0,0 @@
ac6fa038a02f3dbbd5cecfdc785ecd24bff16c63

View File

@ -0,0 +1 @@
4553209a20bf0294f30ecf9004f2dedc345fd07f

View File

@ -71,7 +71,7 @@
</or>
</condition>
<property name="ARDUINO-BUILDER-VERSION" value="1.3.0" />
<property name="ARDUINO-BUILDER-VERSION" value="1.3.1" />
<!-- Libraries required for running arduino -->
<fileset dir=".." id="runtime.jars">