Repository navigation

Bundle `misc/proper_plugin.py` as a part of `mypy` - #16036

Merged

sobolevn merged 1 commit into

Sep 4, 2023

Merged

Bundle `misc/proper_plugin.py` as a part of `mypy`#16036
sobolevn merged 1 commit into
masterfrom
issue-16035

Commits on Sep 4, 2023
- Bundle `misc/proper_plugin.py` as a part of `mypy`
  sobolevn
  committed
  62b0f0f