mickaelistria/jbosstools-target-platforms — pull request #1 by mickaelistria (2013-02-06 13:36:55+00:00)
Title: JBIDE 13462: Use newer version of target-platform-utils

This newer version of target-platform-utils allows developers to pass a flag " -Dmirror-target-to-repo.includeSources=true" to get the TP mirror site also containing sources.
It's meant to make it easier for them to have a sharable target site across multiple workspace to avoid PDE to redownload again and again the same bundles from one WS to the other.