Skip to content

2.0 polish: theme-aware gensym faces, checkdoc zero, friendlier defaults, refcard update#4068

Merged
bbatsov merged 5 commits into
masterfrom
cider2-polish
Jul 3, 2026
Merged

2.0 polish: theme-aware gensym faces, checkdoc zero, friendlier defaults, refcard update#4068
bbatsov merged 5 commits into
masterfrom
cider2-polish

Commits

Commits on Jul 3, 2026