Jelle Zijlstra 574807d9ea os.get_terminal_size also exists on Windows (#2338) ...

... at least according to https://docs.python.org/3/library/os.html#os.get_terminal_size.

Related to python/mypy#5370.

2018-07-18 10:25:12 -07:00

..

__init__.pyi

os.get_terminal_size also exists on Windows (#2338)

2018-07-18 10:25:12 -07:00

path.pyi

Use sys.platform instead of comments (#2286)

2018-07-03 08:13:04 -07:00