On Fri, 12 May 2023 16:17:38 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> Replace `<pre>{@code ...}</pre>` patterns and the like with `{@snippet
> lang=java : ...}`.
This pull request has now been integrated.
Changeset: 710453c6
Author: Brian Burkhalter <b...@openjdk.org>
URL:
https://git.openjdk.org/jdk/commit/710453c676712d021bf856dc601d965e4e270805
Stats: 159 lines in 20 files changed: 27 ins; 7 del; 125 mod
8308016: Use snippets in java.io package
Reviewed-by: rriggs
-------------
PR: https://git.openjdk.org/jdk/pull/13957
