Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLars Vogel2020-02-12 11:32:51 +0000
committerLars Vogel2020-02-12 11:33:00 +0000
commit97ba91c2fef9dd65c9a7e6ede2bf8fdd27f25414 (patch)
treebc7a290235788c315af055446fc7c1e02bd232da
parente5856a3a6f6abe4f1b1805c0b2d7fc524c01c638 (diff)
downloadeclipse.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.prefs1
-rw-r--r--org.eclipse.tips.ui/META-INF/MANIFEST.MF2
-rw-r--r--org.eclipse.tips.ui/pom.xml2
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>

Back to the top