mirror of
https://github.com/davidhalter/typeshed.git
synced 2025-12-08 21:14:48 +08:00
Reverts python/typeshed#804. Reason: until python/mypy#1551 is fixed this gives an error whenever @skip() is used. Specifically see https://github.com/python/typeshed/pull/804#issuecomment-269926655.