From f2d1962bd7302293d9c52ad8d0186cdcdfc458cd Mon Sep 17 00:00:00 2001
From: "PMD CI (pmd-bot)"
Date: Mon, 29 Aug 2022 17:25:09 +0000
Subject: [PATCH] Update documentation
https://github.com/pmd/pmd/actions/runs/2950362816
https://github.com/pmd/pmd/compare/563d7b6a5585...54a26140dca7
---
feed.xml | 4 ++--
pmd_projectdocs_credits.html | 2 +-
pmd_release_notes.html | 6 ++++++
3 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/feed.xml b/feed.xml
index e62ec98778..948a9549ed 100644
--- a/feed.xml
+++ b/feed.xml
@@ -5,8 +5,8 @@
Intended as a documentation theme based on Jekyll for technical writers documenting software and other technical products, this theme has all the elements you would need to handle multiple products with both multi-level sidebar navigation, tags, and other documentation features.
https://pmd.github.io/pmd/
- Mon, 29 Aug 2022 17:02:33 +0000
- Mon, 29 Aug 2022 17:02:33 +0000
+ Mon, 29 Aug 2022 17:22:59 +0000
+ Mon, 29 Aug 2022 17:22:59 +0000Jekyll v3.9.2
diff --git a/pmd_projectdocs_credits.html b/pmd_projectdocs_credits.html
index 4f0e073a62..5dbcfcd6d4 100644
--- a/pmd_projectdocs_credits.html
+++ b/pmd_projectdocs_credits.html
@@ -2456,7 +2456,7 @@