Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: 7704b91548f551ac2c2cb1fe0a3ce9f26322838f https://github.com/pmd/pmd/commit/7704b91548f551ac2c2cb1fe0a3ce9f26322838f Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com> Date: 2023-05-12 (Fri, 12 May 2023)
Changed paths: M feed.xml M pmd_release_notes.html M pmd_release_notes_pmd7.html M pmd_userdocs_cpd.html M pmd_userdocs_cpd_report_formats.html A report-examples/cpdhtml-v2.html A report-examples/cpdhtml.html Log Message: ----------- Update documentation https://github.com/pmd/pmd/actions/runs/4958232673 https://github.com/pmd/pmd/compare/9e5d131890e8...e8c0d5787b63 _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits