Closed msherry closed 6 years ago
The generic command/get_run_flags options are fairly general, but it may be nice to allow for more customization if necessary. For instance, a company-wide mypy driver script would be nice to support.
command
get_run_flags
mypy
The generic
command
/get_run_flags
options are fairly general, but it may be nice to allow for more customization if necessary. For instance, a company-widemypy
driver script would be nice to support.