mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-10-15 18:42:41 +08:00
Jelle Zijlstra
574807d9ea
... at least according to https://docs.python.org/3/library/os.html#os.get_terminal_size. Related to python/mypy#5370.