diff options
Diffstat (limited to 'eclipse-platform-parent')
-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 0572bbd68..ef929d8a9 100644 --- a/eclipse-platform-parent/pom.xml +++ b/eclipse-platform-parent/pom.xml @@ -578,9 +578,9 @@ https://wiki.eclipse.org/Java9 --> <!-- This needs the version of the feature to be patched. --> - <featureToPatchVersion>3.13.0.v20170518-1110</featureToPatchVersion> + <featureToPatchVersion>3.13.0.v20170524-2000</featureToPatchVersion> <!-- Can specify an exact range here, or something of a loose range, depending on what's needed. --> - <versionRangeForPatch>[3.13.0.v20170518-1110,3.13.0.v20170615-0230)</versionRangeForPatch> + <versionRangeForPatch>[3.13.0.v20170524-2000,3.13.0.v20170815-0230)</versionRangeForPatch> <!-- Comment this line when a patch is required on top of I-build --> <comparator.repo>http://download.eclipse.org/eclipse/updates/4.7milestones</comparator.repo> </properties> |