diff --git a/arduino-ide-extension/scripts/download-cli.js b/arduino-ide-extension/scripts/download-cli.js index 43020172..02d15b5a 100755 --- a/arduino-ide-extension/scripts/download-cli.js +++ b/arduino-ide-extension/scripts/download-cli.js @@ -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');