PR #7784 Mypy command line options reference anchors

Mypy command line options reference anchors #7784

msullivan merged 1 commit into python:master from hoefling:options-refs

hoefling changed the title ~~Command line options reference anchors~~ Mypy command line options reference anchors 6 years ago

using option directive for mypy command line options, adding refs in …

f19034b6

hoefling force pushed from 1dea0bf7 to f19034b6 6 years ago

msullivan approved these changes on 2019-10-25

msullivan merged dc15ace3 into master 6 years ago

hoefling deleted the options-refs branch 6 years ago

Reviewers

msullivan

Assignees

No one assigned

Labels

None yet

Milestone

No milestone