mathlib
96ebf8cc - docs(README): Remove Patrick from the maintainer list.

Commit

6 years ago

docs(README): Remove Patrick from the maintainer list.

Author

PatrickMassot

PatrickMassot

Parents

Loading