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

Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: a07423bf24c262e3c01741e0ee8e58dfd33e059a https://github.com/pmd/pmd/commit/a07423bf24c262e3c01741e0ee8e58dfd33e059a Author: PMD CI (pmd-bot) Date: 2023-08-01 (Tue, 01 Aug 2023) Changed paths: M 404.html

[pmd-commits] [pmd/pmd-eclipse-plugin-p2-site] a6e274: Update pmd/pmd-eclipse-plugin-p2-site

Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd-eclipse-plugin-p2-site Commit: a6e2749d2f7fab09103978603955cde58fad22c2 https://github.com/pmd/pmd-eclipse-plugin-p2-site/commit/a6e2749d2f7fab09103978603955cde58fad22c2 Author: PMD CI (pmd-bot) Date: 2023-08-01 (Tue