| commit | 94d774102463fb3058ac9b139db5270b75d3b67e | [log] [tgz] |
|---|---|---|
| author | Vasili Gulevich <vasili.gulevich@xored.com> | Fri May 31 18:10:28 2019 +0700 |
| committer | Vasili Gulevich <vasili.gulevich@xored.com> | Fri May 31 18:10:28 2019 +0700 |
| tree | 0ee2086e5aeddc06807234a354606219d2cc957a | |
| parent | 4cf7e1310caa1f283e9cdd3a2688058ce439dffd [diff] |
Support for platform 4.12
diff --git a/launching/org.eclipse.rcptt.launching.ext/src/org/eclipse/rcptt/launching/ext/AUTInformation.java b/launching/org.eclipse.rcptt.launching.ext/src/org/eclipse/rcptt/launching/ext/AUTInformation.java index 93cdb10..a21e267 100644 --- a/launching/org.eclipse.rcptt.launching.ext/src/org/eclipse/rcptt/launching/ext/AUTInformation.java +++ b/launching/org.eclipse.rcptt.launching.ext/src/org/eclipse/rcptt/launching/ext/AUTInformation.java
@@ -216,6 +216,8 @@ values.put(VERSION, "4.10"); } else if (minor == 110) { values.put(VERSION, "4.11"); + } else if (minor < 200) { + values.put(VERSION, "4." + (minor - 99)); } }