diff options
| author | wm4 <wm4@nowhere> | 2015-01-30 21:10:39 +0100 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2015-01-30 21:10:39 +0100 |
| commit | 9d57e7d23cff215076f24c4c25ce48e9c8e5f3d4 (patch) | |
| tree | fe8b34b948582ad198f9cb51516e5b6df1bdf40c /wscript_build.py | |
| parent | 5f7de39942921f830377492d3db3ff53026c3987 (diff) | |
| download | mpv-9d57e7d23cff215076f24c4c25ce48e9c8e5f3d4.tar.bz2 mpv-9d57e7d23cff215076f24c4c25ce48e9c8e5f3d4.tar.xz | |
player: use correct type for some relative times
We use double for these things everywhere, just this code didn't. It
likely doesn't matter much, and this code is for an optional feature
too.
Diffstat (limited to 'wscript_build.py')
0 files changed, 0 insertions, 0 deletions