[typetools/checker-framework] ad7b74: Improve style

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: ad7b741f6df281ee9dd4d857ea8a204ff204da6c
https://github.com/typetools/checker-framework/commit/ad7b741f6df281ee9dd4d857ea8a204ff204da6c
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-12-15 (Mon, 15 Dec 2025)

Changed paths:
M .azure/Makefile
M .azure/azure-pipelines-daily.yml
M .azure/azure-pipelines.yml
M .circleci/Makefile
M .circleci/config.yml
M .circleci/defs.m4
M .gitignore
M checker/bin-devel/Dockerfile-README
M checker/bin-devel/Dockerfile-contents-ubuntu-plus.m4
M checker/bin-devel/Dockerfile-ubuntu-jdk11-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk17-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk21-plus
M checker/bin-devel/Dockerfile-ubuntu-jdk25-plus
M checker/bin-devel/Dockerfile-ubuntu-jdkplus
M checker/bin-devel/Dockerfile-ubunturolling-jdkplus
M docs/developer/release/README-release-process.html
M docs/tutorial/index.html
M docs/tutorial/webpages/encryption-checker-cmd.html
M docs/tutorial/webpages/get-started-cmd.html
M docs/tutorial/webpages/security-error-cmd.html
M docs/tutorial/webpages/user-input-cmd.html

Log Message:
-----------
Improve style



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications