MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

92++

Browse Source
This commit is contained in:
Dmitry Jemerov
2009-12-07 20:08:00 +03:00
parent 9bb55e837a
commit 336d07373d
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build.txt
+1 -1
View File
@@ -1 +1 @@
92.SNAPSHOT
93.SNAPSHOT
platform/platform-api/src/com/intellij/ide/plugins/PluginManager.java
+2 -2
View File
@@ -699,11 +699,11 @@ public class PluginManager {
ourBuildNumber = BuildNumber.fromString(new String(FileUtil.loadFileText(buildTxtFile)).trim());
}
else {
ourBuildNumber = BuildNumber.fromString("92.SNAPSHOT");
ourBuildNumber = BuildNumber.fromString("93.SNAPSHOT");
}
}
catch (IOException e) {
ourBuildNumber = BuildNumber.fromString("92.SNAPSHOT");
ourBuildNumber = BuildNumber.fromString("93.SNAPSHOT");
}
}
}
platform/util/src/com/intellij/openapi/util/BuildNumber.java
+1 -1
View File
@@ -26,7 +26,7 @@ public class BuildNumber implements Comparable<BuildNumber> {
private final int myBaselineVersion;
private final int myBuildNumber;
private static final String BUILD_NUMBER = "__BUILD_NUMBER__";
private static final int TOP_BASELINE_VERSION = 92;
private static final int TOP_BASELINE_VERSION = 93;
public BuildNumber(String productCode, int baselineVersion, int buildNumber) {
myProductCode = productCode;