Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: b792bb4b1187a72d27c66f2ce35ec73a5cc42a3b https://github.com/pmd/pmd/commit/b792bb4b1187a72d27c66f2ce35ec73a5cc42a3b Author: PMD CI (pmd-bot) <pmd-...@users.noreply.github.com> Date: 2023-12-07 (Thu, 07 Dec 2023)
Changed paths: M feed.xml M pmd_release_notes.html M search.json M sitemap.xml M tag_CpdCapableLanguage.html M tag_PmdCapableLanguage.html M tag_devdocs.html M tag_experimental.html M tag_extending.html M tag_getting_started.html M tag_languages.html M tag_metrics.html M tag_release_notes.html M tag_rule_references.html M tag_tools.html M tag_troubleshooting.html M tag_userdocs.html Log Message: ----------- Update documentation https://github.com/pmd/pmd/actions/runs/7133264463 https://github.com/pmd/pmd/compare/0a63e74d2d01...abed5b00dc05 _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits