mirror of
https://github.com/androidx/media.git
synced 2025-04-30 06:46:50 +08:00

This CL is a renaming only. It's mostly about finding a decent naming for the internal Playlist class. The plan is to have a public Playlist class in the converged Player API, so we need to rename the internal one. PiperOrigin-RevId: 305266196