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