Explicitly select and ignore all flake8 warnings

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 34 forks source link

Closed whonore closed 2 years ago

whonore commented 2 years ago

Adjust to the way flake8 5.0 combines implicit/explicit ignored/selected warnings.