mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-16 08:47:39 +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.