mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-02-02 08:05:24 +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.