rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-28 09:24:14 +01:00
Code Issues Releases Activity

Starting Arduino IDE 1.8.13

Browse Source
This commit is contained in:
Cristian Maglie 2020-02-14 15:29:26 +01:00
parent 4bbd63a2ed
commit 15133a0720
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
arduino-core/src/processing/app/BaseNoGui.java
View File

@ -41,9 +41,9 @@ import static processing.app.helpers.filefilters.OnlyDirs.ONLY_DIRS;
public class BaseNoGui { public class BaseNoGui {
/** Version string to be used for build */ /** Version string to be used for build */
public static final int REVISION = 10812; public static final int REVISION = 10813;
/** Extended version string displayed on GUI */ /** Extended version string displayed on GUI */
public static final String VERSION_NAME = "1.8.12"; public static final String VERSION_NAME = "1.8.13";
public static final String VERSION_NAME_LONG; public static final String VERSION_NAME_LONG;
// Current directory to use for relative paths specified on the // Current directory to use for relative paths specified on the

3
build/shared/revisions.txt
View File

@ -1,3 +1,6 @@
ARDUINO 1.8.13 2020.??.??
ARDUINO 1.8.12 2020.02.13 ARDUINO 1.8.12 2020.02.13
[ide] [ide]