Anders Kaseorg a3b0af44bc run-mypy: Remove --quick option. ...

mypy no longer has a `--quick` option.  Its argument parser
autocompletes `--quick` to `--quickstart-file`, leading to a confusing
error message.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>

2019-08-25 15:04:12 -07:00

2.4 KiB

Executable File

Raw Blame History

View Raw