mathlib
b49d5686 - chore(.github/CODEOWNERS): two new rules (#16921)

Commit

3 years ago

chore(.github/CODEOWNERS): two new rules (#16921) There is an attempt to order the rules from generic to specific.

Author

jcommelin

Parents