mathlib
340ddf83 - chore(scripts): don't assume cwd when running lint-style. (#5721)

Commit

5 years ago

chore(scripts): don't assume cwd when running lint-style. (#5721) Allows running the linter from any ol' directory.

Author

Julian

Parents