diff options
author | Rainer Hochecker <fernetmenta@online.de> | 2015-07-21 17:17:38 +0200 |
---|---|---|
committer | Rainer Hochecker <fernetmenta@online.de> | 2015-07-21 17:17:38 +0200 |
commit | afda4947f1a08ec28003f0a80512d702ef9b5ced (patch) | |
tree | 380f608bfb9775570d04a535c3aae9f395aace61 /tools | |
parent | e2adeeb0cc3c834b1abf6cd398e0424cc38f08d7 (diff) | |
parent | 73390b1d66d32c5dc21251f5416cc98821ebb45e (diff) |
Merge pull request #7559 from FernetMenta/flush
dvdplayer: flush renderbuffers when flushing video player
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions