mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-23 11:32:07 +08:00
Part of #1427. I don't think we can actually merge these until we merge os/__init__.pyi too, which will take a few more PRs.
Part of #1427. I don't think we can actually merge these until we merge os/__init__.pyi too, which will take a few more PRs.