pmd/pmd-dist
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
..