[pmd-commits] [pmd/pmd] cd41a1: Update documentation

2023-03-04 Thread Machine account for PMD via Pmd-commits
Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: cd41a152125da57fee68d1be327589ef28a37719 https://github.com/pmd/pmd/commit/cd41a152125da57fee68d1be327589ef28a37719 Author: PMD CI (pmd-bot) Date: 2023-03-04 (Sat, 04 Mar 2023) Changed paths: M

[pmd-commits] [pmd/pmd] 214e80: Add public MessageReporter#noop

2023-03-04 Thread Andreas Dangel via Pmd-commits
Branch: refs/heads/master Home: https://github.com/pmd/pmd Commit: 214e80a5f1d68e3b42efeacab5b0fc226202ef05 https://github.com/pmd/pmd/commit/214e80a5f1d68e3b42efeacab5b0fc226202ef05 Author: Clément Fournier Date: 2023-02-18 (Sat, 18 Feb 2023) Changed paths: M