Andreas Dangel 3a5ff11dc2

[core] Rename MessageReporter to PmdReporter as public API ...

PmdReporter is supposed to be used when configuring PMD
(see AbstractConfiguration#setReporter), so it can't be internal.

Refs #4348

2024-01-26 19:06:08 +01:00

..

etc/grammar

…

src

[core] Rename MessageReporter to PmdReporter as public API

2024-01-26 19:06:08 +01:00

pom.xml

[release] prepare for next development iteration

2023-09-30 17:15:59 +02:00