mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-03-02 21:38:20 +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.