mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-04 03:06:32 +00:00
Use the 0.12.0 CLI.
Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
parent
d13a43668e
commit
0ddfa1cfdc
@ -10,7 +10,7 @@
|
||||
|
||||
(() => {
|
||||
|
||||
const DEFAULT_VERSION = '0.12.0-rc3'; // require('moment')().format('YYYYMMDD');
|
||||
const DEFAULT_VERSION = '0.12.0'; // require('moment')().format('YYYYMMDD');
|
||||
|
||||
const path = require('path');
|
||||
const shell = require('shelljs');
|
||||
|
Loading…
x
Reference in New Issue
Block a user