1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Merge pull request #8166 from per1234/start-1_8_8

Start Arduino IDE 1.8.8
This commit is contained in:
Martino Facchin 2018-11-05 09:47:19 +01:00 committed by GitHub
commit 871fe6632b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -42,9 +42,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 = 10807;
public static final int REVISION = 10808;
/** Extended version string displayed on GUI */
public static final String VERSION_NAME = "1.8.7";
public static final String VERSION_NAME = "1.8.8";
public static final String VERSION_NAME_LONG;
// Current directory to use for relative paths specified on the