mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-10 15:25:49 +08:00
* run script and do some manual changes (Akuli) * do the whole thing manually (srittau) * merge changes (Akuli) Co-authored-by: Sebastian Rittau <srittau@rittau.biz>