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:
authorper1234 <accounts@perglass.com>2020-02-08 01:08:43 +0300
committerCristian Maglie <c.maglie@bug.st>2020-02-08 01:16:20 +0300
commit33ff49566c59522dda4f90c871dab72293a578e1 (patch)
tree74743b7c01579ccb03fb83a0f10005641bfd9bbc /arduino-core
parentf62b5db908089f3dff24856d6cd1e76ac19df211 (diff)
Start Arduino IDE 1.8.12
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 bd7f67292..72d93ca08 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 = 10811;
+ public static final int REVISION = 10812;
/** Extended version string displayed on GUI */
- public static final String VERSION_NAME = "1.8.11";
+ public static final String VERSION_NAME = "1.8.12";
public static final String VERSION_NAME_LONG;
// Current directory to use for relative paths specified on the