diff options
| author | Paul Pazderski | 2019-02-28 21:17:43 +0000 |
|---|---|---|
| committer | Andrey Loskutov | 2019-03-16 16:31:05 +0000 |
| commit | f8f69cc849b9a3bd4edea07fbafc96db4c4f1842 (patch) | |
| tree | 5ed3a488ba81289a0bf043a17af347388909e928 /org.eclipse.ui.console/pom.xml | |
| parent | da6766d3adacd89923da191bce68e3e096445e0e (diff) | |
| download | eclipse.platform.debug-I20190318-1800.tar.gz eclipse.platform.debug-I20190318-1800.tar.xz eclipse.platform.debug-I20190318-1800.zip | |
Bug 544969 - [console] ConsoleDocumentAdapter.setText does not set textI20190318-1800
Change-Id: Ib12b38b964891bb13bd933bb1f9d74fb39421471
Signed-off-by: Paul Pazderski <paul-eclipse@ppazderski.de>
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Diffstat (limited to 'org.eclipse.ui.console/pom.xml')
| -rw-r--r-- | org.eclipse.ui.console/pom.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.console/pom.xml b/org.eclipse.ui.console/pom.xml index 32a95983b..8c8eed6bc 100644 --- a/org.eclipse.ui.console/pom.xml +++ b/org.eclipse.ui.console/pom.xml @@ -18,6 +18,6 @@ </parent> <groupId>org.eclipse.ui</groupId> <artifactId>org.eclipse.ui.console</artifactId> - <version>3.8.400-SNAPSHOT</version> + <version>3.8.500-SNAPSHOT</version> <packaging>eclipse-plugin</packaging> </project> |