gstreamer/playback
2015-06-15 20:55:29 +02:00
..
player playback/player: gtk: Also use gtksink if available 2015-06-15 20:55:29 +02:00