PMD CI (pmd-bot)
2022-02-11 21:11:30 +00:00
parent 508176a347
commit c9f1406695
2 changed files with 6 additions and 2 deletions

View File

@ -5,8 +5,8 @@
<description>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.</description>
<link>https://pmd.github.io/pmd/</link>
<atom:link href="https://pmd.github.io/pmd/feed.xml" rel="self" type="application/rss+xml"/>
<pubDate>Fri, 11 Feb 2022 21:03:38 +0000</pubDate>
<lastBuildDate>Fri, 11 Feb 2022 21:03:38 +0000</lastBuildDate>
<pubDate>Fri, 11 Feb 2022 21:09:24 +0000</pubDate>
<lastBuildDate>Fri, 11 Feb 2022 21:09:24 +0000</lastBuildDate>
<generator>Jekyll v3.9.0</generator>
</channel>

View File

@ -1454,6 +1454,10 @@ $('#toc').toc({ minimumHeaders: 0, listType: 'ul', showSpeed: 0, headers: 'h2,h3
<h3 id="external-contributions">External Contributions</h3>
<ul>
<li><a href="https://github.com/pmd/pmd/pull/3767">#3767</a>: [core] Update GUI.java</li>
</ul>
<div class="tags">