Update documentation

https://github.com/pmd/pmd/actions/runs/4299936928 null
2023-03-01 04:28:41 +00:00
parent ededb58169
commit 420f88e4c1
133 changed files with 134 additions and 134 deletions
--- a/pmd_userdocs_tools_gradle.html
+++ b/pmd_userdocs_tools_gradle.html
@@ -1700,7 +1700,7 @@ with the property <code class="language-plaintext highlighter-rouge">toolVersion
        <div class="col-lg-12 footer">
            &copy;2023 PMD Open Source Project. All rights
            reserved. <br />
-             Site last generated: Feb 26, 2023 <br />
+             Site last generated: Mar 1, 2023 <br />
            <p>
                <img src="images/pmd-logo-small.png" alt="Company
                logo"/>