1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

Updating arduino-builder to 1.0.0-beta10

This commit is contained in:
Federico Fissore 2015-09-22 14:25:08 +02:00
parent dbefad28e1
commit f7358f3ddb
9 changed files with 5 additions and 5 deletions

View File

@ -0,0 +1 @@
c93699ef6dcc7ac427ca7a6395b5236bb78c877e

View File

@ -1 +0,0 @@
762520429e2f165688bb78b28ed2809b0d725f3f

View File

@ -0,0 +1 @@
17e07c3cfbde3a0ed8d06b18eb2545d00876664a

View File

@ -1 +0,0 @@
30f292e894ea3b04b678764d39a596e89e3533d6

View File

@ -0,0 +1 @@
c2baa606d87370f6ed1b392167bac9f002eb9932

View File

@ -1 +0,0 @@
3e1e2e8edc0d625896c10508164f0f3505e09b74

View File

@ -0,0 +1 @@
2132fe873266aafb56c665bd690ef14ae400df8e

View File

@ -1 +0,0 @@
49c305e8e18ad0278d3ac8461da030cae5f0405d

View File

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