diff options
Diffstat (limited to 'eclipse-platform-parent/pom.xml')
-rw-r--r-- | eclipse-platform-parent/pom.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/eclipse-platform-parent/pom.xml b/eclipse-platform-parent/pom.xml index 4fadd4d37..c5521e000 100644 --- a/eclipse-platform-parent/pom.xml +++ b/eclipse-platform-parent/pom.xml @@ -613,9 +613,9 @@ https://wiki.eclipse.org/Java10 --> <!-- This needs the version of the feature to be patched. --> - <featureToPatchVersion>3.13.3.v20180125-0335</featureToPatchVersion> + <featureToPatchVersion>3.13.3.v20180207-1700</featureToPatchVersion> <!-- Can specify an exact range here, or something of a loose range, depending on what's needed. --> - <versionRangeForPatch>[3.13.3.v20180125-0335,3.13.3.v20180207-1700)</versionRangeForPatch> + <versionRangeForPatch>[3.13.3.v20180207-1700,3.14.0.v20180211-2000)</versionRangeForPatch> <!-- Comment this line when a patch is required on top of I-build --> <comparator.repo>http://download.eclipse.org/eclipse/updates/4.7-M-builds</comparator.repo> </properties> |