You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ideally this section would be automatically generated from the code, so it never gets out of sync, but I am having a hard time figuring out where such generating code would go...
The text was updated successfully, but these errors were encountered:
Documentation
Currently, https://mypy.readthedocs.io/en/stable/command_line.html just says
Which makes cross-referencing the documentation difficult. Instead, there should be the same list there as appears when running
mypy --help
: egIdeally this section would be automatically generated from the code, so it never gets out of sync, but I am having a hard time figuring out where such generating code would go...
The text was updated successfully, but these errors were encountered: