Merge branch 'master' of github.com:pmd/pmd into HEAD

This commit is contained in:
Matias Fraga
2018-09-09 17:39:46 -03:00
88 changed files with 1436 additions and 340 deletions

View File

@ -7,7 +7,7 @@
<parent>
<groupId>net.sourceforge.pmd</groupId>
<artifactId>pmd</artifactId>
<version>6.7.0-SNAPSHOT</version>
<version>6.8.0-SNAPSHOT</version>
</parent>
<build>