[jbosstools-issues] [JBoss JIRA] (JBIDE-15298) Mirror Gemini repository

[Mickael Istria (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-15298?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12928471#comment-12928471 ] 

Mickael Istria commented on JBIDE-15298:
----------------------------------------

Is version 2.0.0.RELEASE fine or do you need something else?
                
> Mirror Gemini repository
> ------------------------
>
>                 Key: JBIDE-15298
>                 URL: https://issues.jboss.org/browse/JBIDE-15298
>             Project: Tools (JBoss Tools)
>          Issue Type: Feature Request
>          Components: target-platform
>            Reporter: Mickael Istria
>
> In order to provide necessary dependencies for Teiid, we should mirror the Gemini update-site to download.jboss.org: http://download.eclipse.org/gemini/updates/management/2.0.0.RELEASE

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira