Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2011-08-13 17:51:07 +0000
committerStephan Herrmann2011-08-13 17:51:07 +0000
commit771212788997169ee7141d1dc8ba76cd236c8043 (patch)
tree89256dc109730f9655e994d2e1cedbdde5656f50 /features
parentcfc55ca92771dcdde4c6f1962c499f0681850005 (diff)
downloadorg.eclipse.objectteams-771212788997169ee7141d1dc8ba76cd236c8043.tar.gz
org.eclipse.objectteams-771212788997169ee7141d1dc8ba76cd236c8043.tar.xz
org.eclipse.objectteams-771212788997169ee7141d1dc8ba76cd236c8043.zip
Bug 349242 - [help] split otdt.ui.help plug-in
Diffstat (limited to 'features')
-rw-r--r--features/org.eclipse.objectteams.otdt.feature/feature.xml7
1 files changed, 7 insertions, 0 deletions
diff --git a/features/org.eclipse.objectteams.otdt.feature/feature.xml b/features/org.eclipse.objectteams.otdt.feature/feature.xml
index 093ce4d69..a9f7e4929 100644
--- a/features/org.eclipse.objectteams.otdt.feature/feature.xml
+++ b/features/org.eclipse.objectteams.otdt.feature/feature.xml
@@ -102,6 +102,13 @@ Project Leader:
unpack="false"/>
<plugin
+ id="org.eclipse.objectteams.otdt.doc"
+ download-size="0"
+ install-size="0"
+ version="0.0.0"
+ unpack="false"/>
+
+ <plugin
id="org.eclipse.objectteams.otdt.jdt.ui"
download-size="365"
install-size="687"

Back to the top