commit 42b43a16af4329f8073ee8e6099893b87fe7bc95
author Lars Vogel <Lars.Vogel@vogella.com> Fri Jun 12 08:56:04 2020 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> Fri Jun 12 04:48:23 2020 -0400
tree 3b80f8b0af452df5737e331574e3bce729e9213b
parent 9f4636a908b8d4b6b82f1681125faa3ed6b32e55

4.17 update of org.eclipse.ui.externaltools

For https://git.eclipse.org/r/#/c/164735/

Change-Id: Ia89434885099bc117134eb30d86fe20270e3ded6

org.eclipse.ui.externaltools/META-INF/MANIFEST.MF

diff --git a/org.eclipse.ui.externaltools/META-INF/MANIFEST.MF b/org.eclipse.ui.externaltools/META-INF/MANIFEST.MF
index ffd4660..1895d0b 100644
--- a/org.eclipse.ui.externaltools/META-INF/MANIFEST.MF
+++ b/org.eclipse.ui.externaltools/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@
 Bundle-ManifestVersion: 2
 Bundle-Name: %Plugin.name
 Bundle-SymbolicName: org.eclipse.ui.externaltools; singleton:=true
-Bundle-Version: 3.4.700.qualifier
+Bundle-Version: 3.4.800.qualifier
 Bundle-Activator: org.eclipse.ui.externaltools.internal.model.ExternalToolsPlugin
 Bundle-Vendor: %Plugin.providerName
 Bundle-Localization: plugin

org.eclipse.ui.externaltools/pom.xml

diff --git a/org.eclipse.ui.externaltools/pom.xml b/org.eclipse.ui.externaltools/pom.xml
index 0c4404a..dbdbf3c 100644
--- a/org.eclipse.ui.externaltools/pom.xml
+++ b/org.eclipse.ui.externaltools/pom.xml
@@ -18,6 +18,6 @@
   </parent>
   <groupId>org.eclipse.ui</groupId>
   <artifactId>org.eclipse.ui.externaltools</artifactId>
-  <version>3.4.700-SNAPSHOT</version>
+  <version>3.4.800-SNAPSHOT</version>
   <packaging>eclipse-plugin</packaging>
 </project>