diff options
author | Lars Vogel | 2020-02-12 11:32:51 +0000 |
---|---|---|
committer | Lars Vogel | 2020-02-12 11:33:00 +0000 |
commit | 97ba91c2fef9dd65c9a7e6ede2bf8fdd27f25414 (patch) | |
tree | bc7a290235788c315af055446fc7c1e02bd232da | |
parent | e5856a3a6f6abe4f1b1805c0b2d7fc524c01c638 (diff) | |
download | eclipse.platform.ua-97ba91c2fef9dd65c9a7e6ede2bf8fdd27f25414.tar.gz eclipse.platform.ua-97ba91c2fef9dd65c9a7e6ede2bf8fdd27f25414.tar.xz eclipse.platform.ua-97ba91c2fef9dd65c9a7e6ede2bf8fdd27f25414.zip |
4.15 update for org.eclipse.tips.ui
Required for https://git.eclipse.org/r/157488
Change-Id: I379f9cd5fcd574ce9529cc0c5a7f053b80c8324c
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
-rw-r--r-- | org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs | 1 | ||||
-rw-r--r-- | org.eclipse.tips.ui/META-INF/MANIFEST.MF | 2 | ||||
-rw-r--r-- | org.eclipse.tips.ui/pom.xml | 2 |
3 files changed, 2 insertions, 3 deletions
diff --git a/org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs index f328a00d0..416a3ace1 100644 --- a/org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.help.base/.settings/org.eclipse.jdt.ui.prefs @@ -63,4 +63,3 @@ sp_cleanup.use_this_for_non_static_field_access_only_if_necessary=true sp_cleanup.use_this_for_non_static_method_access=false sp_cleanup.use_this_for_non_static_method_access_only_if_necessary=true sp_cleanup.use_type_arguments=false -sp_org.autorefactor.ui.autorefactor_clean_up=false diff --git a/org.eclipse.tips.ui/META-INF/MANIFEST.MF b/org.eclipse.tips.ui/META-INF/MANIFEST.MF index aa086b200..5fc1dda62 100644 --- a/org.eclipse.tips.ui/META-INF/MANIFEST.MF +++ b/org.eclipse.tips.ui/META-INF/MANIFEST.MF @@ -2,7 +2,7 @@ Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: %Bundle-Name Bundle-SymbolicName: org.eclipse.tips.ui;singleton:=true -Bundle-Version: 0.1.800.qualifier +Bundle-Version: 0.1.900.qualifier Bundle-RequiredExecutionEnvironment: JavaSE-1.8 Require-Bundle: org.eclipse.core.runtime;bundle-version="3.0.0", org.eclipse.jface;bundle-version="3.0.0", diff --git a/org.eclipse.tips.ui/pom.xml b/org.eclipse.tips.ui/pom.xml index 8dd9a2d39..9ee44b0f0 100644 --- a/org.eclipse.tips.ui/pom.xml +++ b/org.eclipse.tips.ui/pom.xml @@ -22,6 +22,6 @@ </parent> <groupId>org.eclipse.ui</groupId> <artifactId>org.eclipse.tips.ui</artifactId> - <version>0.1.800-SNAPSHOT</version> + <version>0.1.900-SNAPSHOT</version> <packaging>eclipse-plugin</packaging> </project> |