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#diff-16690ca9d00457669a97641c8ad358d5R486
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
My blog
-
My Tweets