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.5

This commit is contained in:
Federico Fissore 2015-12-03 09:54:30 +01:00
parent 37d2ec3154
commit 91245e2164
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
75affd369c449be5e6d624623d7b317d9d10c039

View File

@ -0,0 +1 @@
8db65e7464d8c4e5f139517166962534fbcdbb88

View File

@ -1 +0,0 @@
fcf558e9ab9372cc8366f7fb562d0993aeaf61b2

View File

@ -0,0 +1 @@
2c7269b160660a068e4c06b8856100ae2f0306f9

View File

@ -1 +0,0 @@
a7dbc63e6372495ec1a553a51380ebfefbd8d182

View File

@ -0,0 +1 @@
a9d4a4ac43245628ba5c8122e2a3e31d2125a650

View File

@ -1 +0,0 @@
1a0b54ae576526866549c20ca56db3df3d1aeb3c

View File

@ -0,0 +1 @@
c9e6cb110da5592105eb24651d74c3f0cf38e468

View File

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