mathlib3
860eba67 - chore(.): change occurrences of tests directory to test

Commit

7 years ago

chore(.): change occurrences of tests directory to test

Author

johoelzl

johoelzl

Parents

Loading