Skip to content

Document dmypy run - #5164

Merged
ilevkivskyi merged 1 commit into
masterfrom
dmypy-run-doc
Jun 7, 2018
Merged

ilevkivskyi merged 1 commit into
masterfrom
dmypy-run-doc

Conversation

@msullivan

Copy link
Copy Markdown
Collaborator

I intend to cherry-pick this into the 0.610 release (#5096)

@msullivan
msullivan requested review from JukkaL and gvanrossum June 6, 2018 23:18
@ilevkivskyi
ilevkivskyi merged commit 9590552 into master Jun 7, 2018
@ilevkivskyi
ilevkivskyi deleted the dmypy-run-doc branch June 7, 2018 10:09
msullivan added a commit that referenced this pull request Jun 7, 2018
@msullivan msullivan mentioned this pull request Jun 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