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 /Copyright | |
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 'Copyright')
0 files changed, 0 insertions, 0 deletions