[jbosstools-issues] [JBoss JIRA] (JBIDE-15298) Mirror Gemini repository
Mickael Istria (JIRA)
jira-events at lists.jboss.org
Tue Dec 3 07:22:06 EST 2013
[ https://issues.jboss.org/browse/JBIDE-15298?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12928157#comment-12928157 ]
Mickael Istria commented on JBIDE-15298:
----------------------------------------
[~phantomjinx] I don't remember why I opened this bug. Does Eclipse Gemini repo contain things you need for teiid?
> 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
More information about the jbosstools-issues
mailing list