Integrated: JDK-8275786: New javadoc option to add script files to generated documentation
Hannes Wallnöfer
hannesw at openjdk.java.net
Thu Nov 11 09:17:39 UTC 2021
On Fri, 29 Oct 2021 13:09:31 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:
> JDK-8275786: New javadoc option to add script files to generated documentation
This pull request has now been integrated.
Changeset: 9862cd07
Author: Hannes Wallnöfer <hannesw at openjdk.org>
URL: https://git.openjdk.java.net/jdk/commit/9862cd07c162fcc9cd5cbdd0aab564f446f9256c
Stats: 135 lines in 12 files changed: 106 ins; 5 del; 24 mod
8275786: New javadoc option to add script files to generated documentation
Reviewed-by: jjg
-------------
PR: https://git.openjdk.java.net/jdk/pull/6173
More information about the javadoc-dev
mailing list