search

jimz011 / homekit-infused

Homekit Infused 5 2023
https://jimz011.github.io/homekit-infused/
Other
873 stars 137 forks source link

Mini media player #227

Open domemshur opened 7 months ago

domemshur commented 7 months ago

Is there a way to use mini media player instead of the default media player?