DOKK / manpages / debian 10 / mypy / dmypy-kill.1.en
DMYPY_KILL(1) User Commands DMYPY_KILL(1)

dmypy_kill - Kill a mypy daemon

usage: dmypy.py kill [-h]

show this help message and exit
February 2019 dmypy_kill 0.670