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

Updating arduino-builder to 1.3.3

This commit is contained in:
Federico Fissore 2015-12-01 10:21:40 +01:00
parent d9f9081f3c
commit 49a0f768a1
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
1835ef0cdbb07ca5cba0cd1b67436c2367c24c51

View File

@ -0,0 +1 @@
34030663e5467098712872b44e7e035e70d796d2

View File

@ -1 +0,0 @@
bda596f776ceb3e7e2f90ce0741d0e50677e5c59

View File

@ -0,0 +1 @@
514a14eb20e339ab7b4b155b73679d00e98bc8d3

View File

@ -1 +0,0 @@
c7fb46edddd348bf29c926c6e3465c5b77a62978

View File

@ -0,0 +1 @@
78c0c96f7d630b546da8dc31e3e7833c01bd6a28

View File

@ -1 +0,0 @@
4553209a20bf0294f30ecf9004f2dedc345fd07f

View File

@ -0,0 +1 @@
914af50663d61eab31b1a153b953fff361a37a17

View File

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