search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

Remove unrecognized mypy option #312

Closed whonore closed 2 years ago

whonore commented 2 years ago

No longer needed after MyPy 0.991.