From 889c49bb8c16946573200cb395167ddf4daca5bd Mon Sep 17 00:00:00 2001 From: "Travis CI (pmd-bot)" Date: Fri, 29 Nov 2019 19:11:24 +0000 Subject: [PATCH] Update documentation TRAVIS_JOB_NUMBER=4457.2 TRAVIS_COMMIT_RANGE=78da370fb88a...00392cefc222 --- feed.xml | 4 ++-- pmd_next_major_development.html | 4 ++++ pmd_release_notes.html | 6 +----- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/feed.xml b/feed.xml index 42a02f84f5..e9ecb1bec0 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/ - Fri, 29 Nov 2019 17:59:54 +0000 - Fri, 29 Nov 2019 17:59:54 +0000 + Fri, 29 Nov 2019 19:10:46 +0000 + Fri, 29 Nov 2019 19:10:46 +0000 Jekyll v3.8.5 diff --git a/pmd_next_major_development.html b/pmd_next_major_development.html index a641ef5999..3fd1fdefa9 100644 --- a/pmd_next_major_development.html +++ b/pmd_next_major_development.html @@ -1363,6 +1363,10 @@ the breaking API changes will be performed in 7.0.0.

an API is tagged as @Deprecated or not in the latest minor release. During the development of 7.0.0, we may decide to remove some APIs that were not tagged as deprecated, though we’ll try to avoid it. +

6.20.0

+ +

No changes.

+

6.19.0

Deprecated APIs
diff --git a/pmd_release_notes.html b/pmd_release_notes.html index 72b519e00e..2728c08f93 100644 --- a/pmd_release_notes.html +++ b/pmd_release_notes.html @@ -1296,14 +1296,12 @@ $('#toc').toc({ minimumHeaders: 0, listType: 'ul', showSpeed: 0, headers: 'h2,h3 -

??-November-2019 - 6.20.0

+

29-November-2019 - 6.20.0

The PMD team is pleased to announce PMD 6.20.0.

This is a minor release.

-

New and noteworthy

-

Fixed Issues

-

API Changes

-

External Contributions