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