Andreas Dangel d42aa3915e Add property "pmd-designer.version", update release procedure ...

For now, we'll reference the latest pmd-designer release manually,
that is atm 6.12.0.
This means, if a new pmd-designer should be shipped with a PMD release,
the designer will need to be released first.

2019-03-11 15:32:18 +01:00

..

src

Merge branch 'pr-1450'

2019-01-27 11:51:29 +01:00

pom.xml

Add property "pmd-designer.version", update release procedure

2019-03-11 15:32:18 +01:00