mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-07-30 20:02:50 +08:00
Jelle ZijlstraandGitHub
574807d9ea
... at least according to https://docs.python.org/3/library/os.html#os.get_terminal_size. Related to python/mypy#5370.