馃帴 Command line media player

client API: rename mpv_destroy() to mpv_detach_destroy() master

A bit verbose, but less misleading. In most cases, the API user probably actually wants mpv_terminate_destroy() instead, so the less-useful function shouldn't have a simnpler name anyway.


+22 -23
4 changed files