Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/arduino/Arduino.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCristian Maglie <c.maglie@arduino.cc>2020-02-14 17:29:26 +0300
committerCristian Maglie <c.maglie@arduino.cc>2020-02-14 17:29:26 +0300
commit15133a072044a822990ab77944434b3a1e134cf6 (patch)
treec21478f6330a91a175e1a6cf263b681c016b314a /arduino-core
parent4bbd63a2ed34fb1db4f8e09be676cc9b06734205 (diff)
Starting Arduino IDE 1.8.13
Diffstat (limited to 'arduino-core')
-rw-r--r--arduino-core/src/processing/app/BaseNoGui.java4
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