player: remove unused members
commit7abd09aa899408d07b79dec39ab8e87c179c1155
authorThomas Guillem <thomas@gllm.fr>
Fri, 16 Aug 2019 14:58:28 +0000 (16 16:58 +0200)
committerThomas Guillem <thomas@gllm.fr>
Fri, 16 Aug 2019 14:58:28 +0000 (16 16:58 +0200)
tree5ba6be5384e1f9769dcea3410b4552edd49bc08d
parentf74d5d54e87ed0badb9ba7e0834b59370e1689fb
player: remove unused members

Introduced by 2f18f5598551abc32f8c335c0a5b9d24f6c8a000, leftovers from WIP
branches.
src/player/player.h