diff options
| author | Markus Pfau <pfau@peak3d.de> | 2019-02-10 14:43:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-10 14:43:16 +0100 |
| commit | d9ed9408c49d5c435d2b4d37b1bc30cf9fb9e772 (patch) | |
| tree | 633cd563de90127efc190a4dfa664d7f2765c920 /system/keymaps | |
| parent | 961f06327aa311eecd276d33bb333d22af797432 (diff) | |
| parent | 265e3bd0dfccb359d62363d6a4c1d75077cdd45e (diff) | |
Merge pull request #15459 from peak3d/flush
[VideoPlayer] Flush streamplayers if abort is requested
Diffstat (limited to 'system/keymaps')
0 files changed, 0 insertions, 0 deletions