[typetools/checker-framework] 075a2d: Fix markdown style

0 views

Skip to first unread message

unread,

Dec 13, 2025, 1:51:23 PM (3 days ago) Dec 13

to checker-fr...@googlegroups.com

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

Changed paths:
M checker/tests/README.md
M docs/CHANGELOG.md
M docs/developer/mutable-index-checking-project.md
M framework/tests/framework/README.md

Log Message:
-----------
Fix markdown style

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

Reply all

Reply to author

Forward

0 new messages