Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Publish plugin to plugins.jetbrains.com #1

Closed
leinardi opened this issue Sep 1, 2018 · 1 comment
Closed

Publish plugin to plugins.jetbrains.com #1

leinardi opened this issue Sep 1, 2018 · 1 comment
Assignees
@leinardi
Labels
Priority: High Type: Enhancement

Comments

@leinardi
Copy link
Owner

leinardi commented Sep 1, 2018

No description provided.

@leinardi leinardi self-assigned this Sep 1, 2018
@leinardi
Copy link
Owner Author

leinardi commented Sep 2, 2018

Done: https://plugins.jetbrains.com/plugin/11086-mypy

@leinardi leinardi closed this as completed Sep 2, 2018
@ghost ghost removed the Status: Review Needed label Sep 2, 2018
KotlinIsland pushed a commit to KotlinIsland/mypy-pycharm that referenced this issue Jan 22, 2022
@fgblomqvist
Merge pull request leinardi#1 from DetachHead/master
534bdac 
fix dmypy issues
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@leinardi leinardi

Labels
Priority: High Type: Enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@leinardi