mathlib
0b660a9f - fix(scripts): sanity_check -> lint [ci skip] (#1575)

Commit

6 years ago

fix(scripts): sanity_check -> lint [ci skip] (#1575) * fix(scripts): sanity_check -> lint [ci skip] * also fix in .gitignore

References

Author

fpvandoorn

Committer

mergify[bot]

Parents