[typetools/checker-framework] bc5f09: Update URLs

0 views
Skip to first unread message

mernstcheckerframework

unread,
Jul 4, 2026, 12:58:21 AM (4 days ago) Jul 4
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: bc5f09eb5c3c28a60420ccff7493e9cc2aa9b950
https://github.com/typetools/checker-framework/commit/bc5f09eb5c3c28a60420ccff7493e9cc2aa9b950
Author: mernstcheckerframework <61880733+mernst...@users.noreply.github.com>
Date: 2026-07-03 (Fri, 03 Jul 2026)

Changed paths:
M docs/developer/developer-manual.html
M docs/developer/new-contributor-projects.html
M docs/manual/called-methods-checker.tex
M docs/manual/introduction.tex

Log Message:
-----------
Update URLs

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>



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