Skip to content

Chore: Move the stub generator to scripts/, a root entry the maintainer approved - #72

Merged
b-re-w merged 2 commits into
developfrom
feat/scripts-dir
Oct 3, 2026
Merged

b-re-w merged 2 commits into
developfrom
feat/scripts-dir

Chore: Point every reference at scripts/gen_stubs.py, and keep script…

5592ecf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
with-binder
succeeded Oct 3, 2026 in 1m 0s