diff options
author | Alexander Kurtakov | 2019-02-14 10:47:22 +0000 |
---|---|---|
committer | Alexander Kurtakov | 2019-02-14 12:24:37 +0000 |
commit | 211cc7e1daa5293c16ef89ab4ee7bcf12f5bc1de (patch) | |
tree | 7215c88fd82aaeb2afff6e832d93ee68535e3d77 /org.eclipse.ui.console/pom.xml | |
parent | ee1e1ae9172891f5a735ebceb761e49252450698 (diff) | |
download | eclipse.platform.debug-211cc7e1daa5293c16ef89ab4ee7bcf12f5bc1de.tar.gz eclipse.platform.debug-211cc7e1daa5293c16ef89ab4ee7bcf12f5bc1de.tar.xz eclipse.platform.debug-211cc7e1daa5293c16ef89ab4ee7bcf12f5bc1de.zip |
Remove unused api filters.
Change-Id: I2e6e9d9373faba9bd394ef4ed55fd0407064beed
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
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 ecf272399..91ac72235 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.300-SNAPSHOT</version> + <version>3.8.400-SNAPSHOT</version> <packaging>eclipse-plugin</packaging> </project> |