diff options
author | Niraj Modi | 2019-06-07 08:22:48 +0000 |
---|---|---|
committer | Niraj Modi | 2019-06-07 08:22:48 +0000 |
commit | 6f4bf01ba6ce852ebe0f1ae7d6eed32a423f7959 (patch) | |
tree | 06f0f06f91247e7accfec181aa02a2f0b833e9da /org.eclipse.ui.editors | |
parent | 8bc461175ceded9ec872cff17d84fbce8fc4795d (diff) | |
download | eclipse.platform.text-6f4bf01ba6ce852ebe0f1ae7d6eed32a423f7959.tar.gz eclipse.platform.text-6f4bf01ba6ce852ebe0f1ae7d6eed32a423f7959.tar.xz eclipse.platform.text-6f4bf01ba6ce852ebe0f1ae7d6eed32a423f7959.zip |
Bug 547907 - POM and product version change for 4.13 release
Change-Id: I16ed9807c1390ccba626efaa09cfa80308667a26
Signed-off-by: Niraj Modi <niraj.modi@in.ibm.com>
Diffstat (limited to 'org.eclipse.ui.editors')
-rw-r--r-- | org.eclipse.ui.editors/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.editors/pom.xml b/org.eclipse.ui.editors/pom.xml index 3179a966059..1cffe465ec4 100644 --- a/org.eclipse.ui.editors/pom.xml +++ b/org.eclipse.ui.editors/pom.xml @@ -14,7 +14,7 @@ <parent> <artifactId>eclipse.platform.text</artifactId> <groupId>eclipse.platform.text</groupId> - <version>4.12.0-SNAPSHOT</version> + <version>4.13.0-SNAPSHOT</version> </parent> <groupId>org.eclipse.ui</groupId> <artifactId>org.eclipse.ui.editors</artifactId> |