jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-12 11:49:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
9298a8cc550987d4ca75693cf86b936767a452ae
arduino-ide/arduino-ide-extension/scripts
History
Akos Kitta e636e06a7e Download today's CLI. 
The issues was an interim CI problem.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
2019-08-29 09:21:51 +02:00
..
download-cli.js
Download today's CLI.
2019-08-29 09:21:51 +02:00
generate-protocol.js
Switched to the official arduino-cli.
2019-07-25 07:58:00 +02:00
patch-grpc-js.js
Switched to the official arduino-cli.
2019-07-25 07:58:00 +02:00