Integrated: JDK-8293178: Remove obsolete properties from javadoc resource file

Wed Aug 31 22:16:12 UTC 2022

On Wed, 31 Aug 2022 18:11:09 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> Please review a trivial update to remove some obsolete properties from a javadoc resource file.

This pull request has now been integrated.

Changeset: 6f297346
Author:    Jonathan Gibbons <jjg at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/6f297346dc34f58d10c64a7bbe4e0f5b52ed33e3
Stats:     10 lines in 2 files changed: 0 ins; 6 del; 4 mod

8293178: Remove obsolete properties from javadoc resource file

Reviewed-by: prappo

-------------

PR: https://git.openjdk.org/jdk/pull/10105