mathlib
422f6400 - fix(scripts/mk_nolint): fix error introduced by #2090 (#2170)

Commit

6 years ago

fix(scripts/mk_nolint): fix error introduced by #2090 (#2170)

References

#2170 - fix(scripts/mk_nolint): fix error introduced by #2090

Author

robertylewis

robertylewis

Parents

Loading