diff options
| author | James Ross-Gowan <rossy@jrg.systems> | 2017-12-04 20:11:20 +1100 |
|---|---|---|
| committer | James Ross-Gowan <rossy@jrg.systems> | 2017-12-04 20:11:20 +1100 |
| commit | 9abb710afb8e369eeb3104156c731bd3564abfcd (patch) | |
| tree | d102ad50a36dccaa77f918f0e6e8e2968e52b789 /player | |
| parent | 4efe330efba296f6f07089d60087ef4e054bfe04 (diff) | |
| download | mpv-9abb710afb8e369eeb3104156c731bd3564abfcd.tar.bz2 mpv-9abb710afb8e369eeb3104156c731bd3564abfcd.tar.xz | |
vo_gpu: d3d11_helpers: use better formatting for PCI IDs
The old format was definitely misleading, since it used an 0x prefix and
formatted the device IDs with %d.
Diffstat (limited to 'player')
0 files changed, 0 insertions, 0 deletions