mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-05-24 17:28:40 +08:00
third-party stubs: Add several missing __del__ methods (#11054)
This commit is contained in:
@@ -33,6 +33,7 @@ if sys.platform == "win32":
|
||||
class Console(ConsoleBase):
|
||||
fncodes: dict[str, str]
|
||||
navcodes: dict[str, str]
|
||||
def __del__(self) -> None: ...
|
||||
|
||||
else:
|
||||
class Console(ConsoleBase):
|
||||
|
||||
Reference in New Issue
Block a user