KEMBAR78
Add idlemypyextension to IDE integrations section by CoolCat467 · Pull Request #18615 · python/mypy · GitHub
Skip to content

Conversation

CoolCat467
Copy link
Contributor

In this pull request, we add idlemypyextension (https://github.com/CoolCat467/idlemypyextension) for the IDLE text editor to the Popular IDE integrations section in the README.

@CoolCat467
Copy link
Contributor Author

Not really sure who to ping, so hoping someone sees this, but it's been a while now and I wanted to make sure this doesn't get lost.

@JelleZijlstra JelleZijlstra merged commit 03aa0f8 into python:master Aug 30, 2025
2 checks passed
@CoolCat467 CoolCat467 deleted the patch-1 branch August 30, 2025 22:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants