Update documentation

https://github.com/pmd/pmd/actions/runs/5103432874 d568ea7e66...07a9c0d5a1
2023-05-28 09:32:26 +00:00
parent 15ff2b6b94
commit 67693563cf
144 changed files with 398 additions and 296 deletions
--- a/pmd_projectdocs_decisions.html
+++ b/pmd_projectdocs_decisions.html
@@ -1947,7 +1947,7 @@
            &copy;2023 PMD Open Source Project. All rights
            reserved. <br />
            <span>Page last updated:</span>
-            July 2022<br /> Site last generated: May 26, 2023 <br />
+            July 2022<br /> Site last generated: May 28, 2023 <br />
            <p>
                <img src="images/logo/pmd-logo-70px.png" alt="PMD
                logo"/>