Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorWim Jongman2018-03-01 10:12:39 -0500
committerWim Jongman2018-03-05 08:54:27 -0500
commitf25308346936ce81c106c66ef764d11fa8a39d35 (patch)
tree6e750e5e3eac830a732cf549c8aa322e3daa0485 /org.eclipse.tips.feature/feature.xml
parent127308c8fb9aa359f0aab9672a0987b56b23ed32 (diff)
downloadeclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.tar.gz
eclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.tar.xz
eclipse.platform.ua-f25308346936ce81c106c66ef764d11fa8a39d35.zip
Bug 531786 - [Tips] Add Json providerI20180305-2000
Adds a Json provider that can loads tips from a remote or local Json file. Added about.html Change-Id: I06c67c42bc0a7fc38af06f622af82305b7cbb169 Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>
Diffstat (limited to 'org.eclipse.tips.feature/feature.xml')
-rw-r--r--org.eclipse.tips.feature/feature.xml11
1 files changed, 11 insertions, 0 deletions
diff --git a/org.eclipse.tips.feature/feature.xml b/org.eclipse.tips.feature/feature.xml
index b1f0efc37..3c4d63707 100644
--- a/org.eclipse.tips.feature/feature.xml
+++ b/org.eclipse.tips.feature/feature.xml
@@ -29,6 +29,10 @@
%license
</license>
+ <requires>
+ <import plugin="com.google.gson"/>
+ </requires>
+
<plugin
id="org.eclipse.tips.ui"
download-size="0"
@@ -50,4 +54,11 @@
version="0.0.0"
unpack="false"/>
+ <plugin
+ id="org.eclipse.tips.ide"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
</feature>

Back to the top