<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 05/09/2016 11:11 PM, Alexey Kazakov
wrote:<br>
</div>
<blockquote cite="mid:5730FD0D.4030908@redhat.com" type="cite">OK.
This PR is about JBoss Tools TP. Not devstudio.
<br>
</blockquote>
Actually, Vagrant is also added to DevStudio target-platform:
<a class="moz-txt-link-freetext" href="https://github.com/jbosstools/jbosstools-target-platforms/pull/207/files#diff-16690ca9d00457669a97641c8ad358d5R486">https://github.com/jbosstools/jbosstools-target-platforms/pull/207/files#diff-16690ca9d00457669a97641c8ad358d5R486</a><br>
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.<br>
<div class="moz-signature">-- <br>
Mickael Istria<br>
Eclipse developer at <a href="http://www.jboss.org/tools">JBoss,
by Red Hat</a><br>
<a href="http://mickaelistria.wordpress.com">My blog</a> - <a
href="http://twitter.com/mickaelistria">My Tweets</a></div>
</body>
</html>