[pmd-commits] [pmd/pmd] 42263e: Update documentation

Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: 42263e0ea65932c30cfd0bb94010c41f1c4b803d https://github.com/pmd/pmd/commit/42263e0ea65932c30cfd0bb94010c41f1c4b803d Author: PMD CI (pmd-bot) Date: 2022-12-01 (Thu, 01 Dec 2022) Changed paths: M 404.html

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

Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd-eclipse-plugin-p2-site Commit: c33cc914b31f62b27858bb597b2e447a2b18ad22 https://github.com/pmd/pmd-eclipse-plugin-p2-site/commit/c33cc914b31f62b27858bb597b2e447a2b18ad22 Author: PMD CI (pmd-bot) Date: 2022-12-01 (Thu