mathlib3
eaf2a16b - fix(scripts/lint-style.py): typo in error reporting (#10135)

Commit

4 years ago

fix(scripts/lint-style.py): typo in error reporting (#10135)

Author

jcommelin

jcommelin

Parents

Loading