[typetools/checker-framework] 58807d: New command-line argument `-Aonelinemsg` (#7507)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 58807ddc52b92b17bcc8eb4f9e8a68438ed6bb55
https://github.com/typetools/checker-framework/commit/58807ddc52b92b17bcc8eb4f9e8a68438ed6bb55
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-02-26 (Thu, 26 Feb 2026)

Changed paths:
M docs/CHANGELOG.md
M docs/manual/creating-a-checker.tex
M docs/manual/introduction.tex
M framework/src/main/java/org/checkerframework/framework/source/SourceChecker.java

Log Message:
-----------
New command-line argument `-Aonelinemsg` (#7507)



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