diff options
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.releng/build.rmap')
| -rw-r--r-- | plugins/org.eclipse.emf.cdo.releng/build.rmap | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/plugins/org.eclipse.emf.cdo.releng/build.rmap b/plugins/org.eclipse.emf.cdo.releng/build.rmap index ea2838780d..035eb89ab6 100644 --- a/plugins/org.eclipse.emf.cdo.releng/build.rmap +++ b/plugins/org.eclipse.emf.cdo.releng/build.rmap @@ -112,6 +112,14 @@ <bc:propertyRef key="eclipse.downloads"/>
</rm:uri>
</rm:provider>
+
+ <!-- Graphiti -->
+ <rm:provider componentTypes="eclipse.feature,osgi.bundle" readerType="p2" source="false" mutable="false"
+ resolutionFilter="(resolve.target.platform=true)">
+ <rm:uri format="{0}/graphiti/updates/milestones">
+ <bc:propertyRef key="eclipse.downloads"/>
+ </rm:uri>
+ </rm:provider>
<!-- GMP -->
<rm:provider componentTypes="eclipse.feature,osgi.bundle" readerType="p2" source="false" mutable="false"
|