Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: c9dad9e247d7419ecc9fc3d0302119436e5ee869 https://github.com/pmd/pmd/commit/c9dad9e247d7419ecc9fc3d0302119436e5ee869 Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com> Date: 2023-12-11 (Mon, 11 Dec 2023)
Changed paths: M feed.xml M pmd_projectdocs_credits.html M pmd_release_notes.html M pmd_userdocs_cpd.html Log Message: ----------- Update documentation https://github.com/pmd/pmd/actions/runs/7165987932 https://github.com/pmd/pmd/compare/dfcde5acdee5...2862d36f4ebc _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits