Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: 8705e86a96c813b33e03cbbbfd036d40619f084d https://github.com/pmd/pmd/commit/8705e86a96c813b33e03cbbbfd036d40619f084d Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com> Date: 2023-11-23 (Thu, 23 Nov 2023)
Changed paths: M feed.xml Log Message: ----------- Update documentation https://github.com/pmd/pmd/actions/runs/6972709566 https://github.com/pmd/pmd/compare/da95ddb4e31d...1ac1bde6e238 _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits