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