Skip to content

API docs: hide +HIDE doctest setup, drop duplicate modifier badge#65

Merged
tony merged 4 commits into
mainfrom
doctest-hide-badges
Jul 14, 2026
Merged

API docs: hide +HIDE doctest setup, drop duplicate modifier badge#65
tony merged 4 commits into
mainfrom
doctest-hide-badges

Commits

Commits on Jul 14, 2026