diff options
| author | MaZderMind <git@mazdermind.de> | 2015-11-17 00:46:13 +0100 |
|---|---|---|
| committer | MaZderMind <git@mazdermind.de> | 2015-11-17 00:46:13 +0100 |
| commit | 538de1735f2964dfe3f082675e20a45230a24ddf (patch) | |
| tree | 11e90f561270bef5536755a8c84cd70e47c51f24 /voctogui/lib/args.py | |
| parent | 07f2ab39dc7acd278fa78ab841030207abe2e127 (diff) | |
add an option to use ximagesink instead of xvimagesink for systems, that do not support Xv-extensions (like some VMs)
Diffstat (limited to 'voctogui/lib/args.py')
0 files changed, 0 insertions, 0 deletions