[typetools/checker-framework.demos] 4f97d3: Update demo preparation notes
0 views
Skip to first unread message
Michael Ernst
May 22, 2024, 6:33:18 PMMay 22
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework.demos
Commit: 4f97d35c7d15a4c707eb011c4226acb15bc780b4
https://github.com/typetools/checker-framework.demos/commit/4f97d35c7d15a4c707eb011c4226acb15bc780b4
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-22 (Wed, 22 May 2024)
Changed paths:
M creating-checker-demo/notes.txt
Log Message:
-----------
Update demo preparation notes
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework.demos/settings/notifications
Home: https://github.com/typetools/checker-framework.demos
Commit: 4f97d35c7d15a4c707eb011c4226acb15bc780b4
https://github.com/typetools/checker-framework.demos/commit/4f97d35c7d15a4c707eb011c4226acb15bc780b4
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-22 (Wed, 22 May 2024)
Changed paths:
M creating-checker-demo/notes.txt
Log Message:
-----------
Update demo preparation notes
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework.demos/settings/notifications
Reply all
Reply to author
Forward
0 new messages