KEMBAR78
Remove "--old-html-report" by ilinum · Pull Request #4204 · python/mypy · GitHub
Skip to content

Conversation

ilinum
Copy link
Collaborator

@ilinum ilinum commented Nov 3, 2017

This report has been called "--old-html-report" since 2015 and I'm not aware
of anyone using it.

This report has been called "--old-html-report" since 2015 and I'm not aware
of anyone using it.
@gvanrossum gvanrossum merged commit cfc2243 into python:master Nov 3, 2017
@ilinum ilinum deleted the remove-old-html-report branch July 25, 2022 21:18
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