Re: [jbosstools-dev] Proposed change to JBoss Central 4.40.0.Beta3-SNAPSHOT target platform: updated version of PMD & removal of duplicate content already in upstream TP
On 13 Jun 2014, at 14:31, Nick Boldt wrote:
> Yes, did you verify we end up only publishing the
"partial" target
> platforms ? (i.e. non-merged ones)
Yes, verified. We're publishing the partial, unmerged files. You can
confirm this by reading the JIRA comments [1] or observing that the
zips of the Central and EA sites are under 130M instead of over 1.1G.
[1]
https://issues.jboss.org/browse/JBIDE-17560?focusedCommentId=12975772&...
Great!
/max
http://about.me/maxandersen