[typetools/checker-framework] 81c65b: Adapt to not running greclipse
0 views
Skip to first unread message
Michael Ernst
Jul 5, 2026, 3:25:03 PM (2 days ago) Jul 5
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 81c65b6307c3cdcd873d5ee3b6fe07e9f1db7d2b
https://github.com/typetools/checker-framework/commit/81c65b6307c3cdcd873d5ee3b6fe07e9f1db7d2b
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-05 (Sun, 05 Jul 2026)
Changed paths:
M checker/bin-devel/test-misc.sh
Log Message:
-----------
Adapt to not running greclipse
To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Home: https://github.com/typetools/checker-framework
Commit: 81c65b6307c3cdcd873d5ee3b6fe07e9f1db7d2b
https://github.com/typetools/checker-framework/commit/81c65b6307c3cdcd873d5ee3b6fe07e9f1db7d2b
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-05 (Sun, 05 Jul 2026)
Changed paths:
M checker/bin-devel/test-misc.sh
Log Message:
-----------
Adapt to not running greclipse
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