Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: 24f9f5eb1882d861409c8b61a9f1eb1c4b96009e https://github.com/pmd/pmd/commit/24f9f5eb1882d861409c8b61a9f1eb1c4b96009e Author: PMD CI (pmd-bot) <andreas.dangel+pmd-...@adangel.org> Date: 2021-05-20 (Thu, 20 May 2021)
Changed paths: M feed.xml M search.json M sitemap.xml M tag_devdocs.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/860374063 https://github.com/pmd/pmd/compare/0311101d0e6a...0dab8818af31 _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits