1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-08-09 22:24:14 +03:00
Commit Graph

3 Commits

Author SHA1 Message Date
Federico Fissore
a62dcc2804 PR Autobuild: removed useless final echos 2014-08-25 18:19:05 +02:00
Federico Fissore
b12e659c7c PR Autobuild: fixed artifact name 2014-08-25 18:18:03 +02:00
Federico Fissore
a5ea0a9d01 Script used by the Jenkins Github Pull Request Builder plugin 2014-08-25 18:00:25 +02:00