[typetools/checker-framework.demos] 5dc400: Improve HTML style

0 views

Skip to first unread message

unread,

Oct 1, 2025, 2:38:35 PM (7 days ago) Oct 1

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework.demos
Commit: 5dc4001bfd6b6676fac6dc180895c096d8b85bc8
https://github.com/typetools/checker-framework.demos/commit/5dc4001bfd6b6676fac6dc180895c096d8b85bc8
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-01 (Wed, 01 Oct 2025)

Changed paths:
M nonnull-interned-demo/daikon/src/daikon/derive/package.html
M nonnull-interned-demo/daikon/src/daikon/suppress/package.html
M presentations/2012-OSCON/index.html

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

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