[jbosstools-issues] [JBoss JIRA] (JBIDE-15353) PMD 4.0.1
Mickael Istria (JIRA)
jira-events at lists.jboss.org
Mon Aug 19 10:44:26 EDT 2013
Mickael Istria created JBIDE-15353:
--------------------------------------
Summary: PMD 4.0.1
Key: JBIDE-15353
URL: https://issues.jboss.org/browse/JBIDE-15353
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: target-platform, upstream
Reporter: Mickael Istria
Priority: Minor
PMD 4.0.1 was released a few days ago and is not available in the new official site: https://sourceforge.net/projects/pmd/files/pmd-eclipse/update-site/
It appears that this site also fixes the issue we got with Partial IU ( https://sourceforge.net/p/pmd/bugs/1098/ ) and should simply get mirrored (no need for regenerating p2 metadata)
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jbosstools-issues
mailing list