mathlib
0fc45dcd - feat(tactic/lint): support @[nolint unused_arguments] (#2041)

Commit
6 years ago
feat(tactic/lint): support @[nolint unused_arguments] (#2041) * feat(tactic/lint): support @[nolint unused_arguments] * refactor(scripts/mk_nolint): include failing linter name in nolints.txt * chore(scripts/nolints): update nolints.txt * doc(category/functor): add docstrings Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Author
Parents
Loading