On 05/09/2016 11:11 PM, Alexey Kazakov wrote:
OK. This PR is about JBoss Tools TP. Not devstudio.
Actually,
Vagrant is also added to DevStudio target-platform:
https://github.com/jbosstools/jbosstools-target-platforms/pull/207/files#...
However, it's "only" part of the TP, not included in DevStudio delivery
at the moment. Adding it to the delivery would be a separate topic.
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat <
http://www.jboss.org/tools>
My blog <
http://mickaelistria.wordpress.com> - My Tweets
<
http://twitter.com/mickaelistria>