search

mui / mui-public

The public mono-repository of MUI (as an organization), see mui/mui-private for the opposite.
80 stars 16 forks source link

[infra] Cleanup #158

Closed michelengelen closed 6 months ago

michelengelen commented 6 months ago

Just cleaning up a bit.

michelengelen commented 6 months ago

argh ... merged #159 before this so the changes are already on master now ... sry! 🙇🏼