mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-01-01 00:53:23 +08:00
* Move all platform and installation differences into a separate section. * Split sections for missing items into "should be fixed" and "should not be fixed". * Add "TODO" markers to appropriate sections.