Skip to content

Fix the installed dmypy script - #6029

Merged
gvanrossum merged 1 commit into
masterfrom
fix-dmypy
Dec 7, 2018
Merged

gvanrossum merged 1 commit into
masterfrom
fix-dmypy

Conversation

@msullivan

Copy link
Copy Markdown
Collaborator

No description provided.

@gvanrossum
gvanrossum merged commit 4972668 into master Dec 7, 2018
@gvanrossum
gvanrossum deleted the fix-dmypy branch December 7, 2018 18:06
JukkaL pushed a commit that referenced this pull request Dec 7, 2018
@JukkaL JukkaL mentioned this pull request Dec 7, 2018
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.

3 participants