commit | fbe90fc502b231a290f383ccbe4552317b1f90be | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Thu Nov 12 12:21:08 2015 +0100 |
committer | Dani Megert <dmegert> | Thu Nov 12 12:21:08 2015 +0100 |
tree | 18c5a2c41df967d9cb0b4377f96ffbe3fd4724b1 | |
parent | bad1914871c4b04729ee75bed607fd94f93d4728 [diff] |
Fixed bug 481792: PDE feature does not require JDT feature
diff --git a/org.eclipse.pde-feature/feature.xml b/org.eclipse.pde-feature/feature.xml index d310aa5..f82cf8b 100644 --- a/org.eclipse.pde-feature/feature.xml +++ b/org.eclipse.pde-feature/feature.xml
@@ -19,6 +19,10 @@ %license </license> + <requires> + <import feature="org.eclipse.jdt" version="3.12.0" match="compatible"/> + </requires> + <plugin id="org.eclipse.pde" download-size="0"