On Wed, 21 May 2025 10:36:58 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:
> Please review a trivial change to disable syntax highlighting in JDK API docs. This pull request has now been integrated. Changeset: a07150af Author: Hannes Wallnöfer <hann...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/a07150af1139b262513a25f4fdd32173af95ff4f Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod 8357376: Disable syntax highlighting for JDK API docs Reviewed-by: erikj ------------- PR: https://git.openjdk.org/jdk/pull/25348
