diff options
author | Cristian Maglie <c.maglie@arduino.cc> | 2020-02-14 17:29:26 +0300 |
---|---|---|
committer | Cristian Maglie <c.maglie@arduino.cc> | 2020-02-14 17:29:26 +0300 |
commit | 15133a072044a822990ab77944434b3a1e134cf6 (patch) | |
tree | c21478f6330a91a175e1a6cf263b681c016b314a /arduino-core | |
parent | 4bbd63a2ed34fb1db4f8e09be676cc9b06734205 (diff) |
Starting Arduino IDE 1.8.13
Diffstat (limited to 'arduino-core')
-rw-r--r-- | arduino-core/src/processing/app/BaseNoGui.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arduino-core/src/processing/app/BaseNoGui.java b/arduino-core/src/processing/app/BaseNoGui.java index 72d93ca08..c47a82d69 100644 --- a/arduino-core/src/processing/app/BaseNoGui.java +++ b/arduino-core/src/processing/app/BaseNoGui.java @@ -41,9 +41,9 @@ import static processing.app.helpers.filefilters.OnlyDirs.ONLY_DIRS; public class BaseNoGui { /** 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 */ - 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; // Current directory to use for relative paths specified on the |