Branch: refs/heads/gh-pages Home: https://github.com/pmd/pmd Commit: a49c4927877bf3b6fea53c1e03ff98f058ab9bf6 https://github.com/pmd/pmd/commit/a49c4927877bf3b6fea53c1e03ff98f058ab9bf6 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/860367632 https://github.com/pmd/pmd/compare/981afbf43a1c...0311101d0e6a _______________________________________________ Pmd-commits mailing list Pmd-commits@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pmd-commits